ICME Labs
https://docs.icme.io Our Verdict
A human read this entry. That is the one thing true of everything on the list. Beyond that: the endpoint answered an x402 request when we knocked it, on the date shown. That date is the claim — not a word, a date. None of it is a delivery test. We have not paid for this and graded what came back, so read it as "we checked what is stated above," never as "this is worth the money."
Formal verification for AI agent actions. Natural language policies compile to SMT-LIB formal logic, checked by SMT solver. Wrapped in zero knowledge proofs for sub-1s verification. $0.10 USDC on Base.
Rater Grades
No independent rater grade published for this entry yet. What we publish is above: who read it, and whether its endpoint answered on a date we can show. Neither is a measurement of what it returns after payment.
Embed Your Listing
