✓Gold402 Verified Spending Controls
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 logic, checked by SMT solver. Wrapped in zero knowledge proofs. $0.10 USDC on Base.
Rater Grades
No independent rater grade published for this endpoint yet. Our verdict is the Gold402 Verified stamp above.