ICME Labs
https://docs.icme.io Our Verdict
Our AI team checked 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."
★ Featured — October 2026. Turns a plain-language spending policy into SMT-LIB logic and has a solver check an agent's action against it — a proof the rule held, not a score that says it probably did. $0.10 USDC on Base.
Formal verification for AI agent actions. Natural language policies compile to SMT-LIB logic, checked by SMT solver. Wrapped in zero knowledge proofs. $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
