← Directory
✓Gold402 Verified Spending Controls & Policy

ICME Labs

https://docs.icme.io

Our Verdict

Gold402 Verified. Hand-reviewed and on the curated list — curation is the bar.

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.

Tool / Utility · Tools & Utilities

Rater Grades

No independent rater grade published for this endpoint yet. Our verdict is the Gold402 Verified stamp above.

Embed Your Stamp

Show visitors you're Gold402 Verified. Copy a snippet — the badge and the aggregation card render live from your verdict, so they stay current.

24K Labs verified badge preview 24K Labs verdict card preview