ICME Labs

https://docs.icme.io

● healthy spending-controls-policy-enforcement

Formal verification for AI agent actions using the ARc paper approach. Natural language policies compile to SMT-LIB formal logic, checked by an SMT solver — SAT = allowed, UNSAT = blocked. Wrapped in zero knowledge proofs for sub-1s verification, private policies, and cryptographic audit trails per decision. 99%+ soundness under adversarial pressure. $0.10 USDC per check on Base, no account needed. Live demo policy available.

Quality grade

How grading works

D 40.0 / 100

Availability 40.0 / 40

Endpoint responded (HTTP 200)

Payability 0.0 / 20

✗ Answers a real HTTP 402 challenge
✗ Publishes a /.well-known/x402 descriptor
✗ Payment address on record
✗ Settlement network declared
✗ Price declared

Demand 0.0 / 40

No payment address on record, so demand cannot be measured

Owner verified 0.0 / 3

Nobody has claimed this listing yet

Endpoint last checked 9 h ago. Availability and on-chain demand are both re-probed daily; the grade updates automatically on the next pass.

How to call

cURL · x402-fetch / x402-axios will auto-handle 402

curl -sS -i -X GET https://docs.icme.io  # expect HTTP 402 Payment Required (price advertised in the 402 response)

Listed in

Directories this entry was found in.

awesome-x402