Home | Cryptographic Guardrails for AI Agents | ICME Labs

# Cryptographic Guardrails for AI Agents | ICME Labs ## Home - [Home](https://docs.icme.io/home.md): Welcome to your team’s developer platform ## Documentation - [ICME PreFlight API](https://docs.icme.io/documentation/docs.md): Cryptographic AI agent guardrails with automated reasoning, formal verification, and zero-knowledge proofs for verifiable agentic commerce. - [Our Products](https://docs.icme.io/documentation/our-products.md) - [Verbatim Deterministic Gateway](https://docs.icme.io/documentation/our-products/verbatim-deterministic-gateway.md): Your AI agent can't hallucinate. Not "rarely." Can't. - [Prompt Injection Instruments](https://docs.icme.io/documentation/our-products/prompt-injection-instruments.md) - [Vericoding](https://docs.icme.io/documentation/our-products/vericoding.md): Smart contracts in English, verified by math. Type what your contract should do. Get verified code that provably does it. Deploy. Share the proof. - [Walkthrough 1: Freelancer Payment](https://docs.icme.io/documentation/our-products/vericoding/walkthrough-1-freelancer-payment.md): An end-to-end example of vericoding with ICME PreFlight and Certora. - [Quickstart](https://docs.icme.io/documentation/getting-started/quickstart.md): Get your first policy compiled and your first action checked in under 5 minutes. - [Pricing](https://docs.icme.io/documentation/getting-started/pricing.md): ICME uses pay-per-use pricing. There are no subscriptions, no seats, no monthly minimums. You pay for what you use, when you use it. - [Stop Watching Your Agents. Start Proving They're Right.](https://docs.icme.io/documentation/getting-started/stop-watching-your-agents.-start-proving-theyre-right..md): How cryptographic proofs strengthen agent observability by making every decision provably correct, tamper-proof, and privately auditable. - [How ICME PreFlight Works](https://docs.icme.io/documentation/learning/how-icme-preflight-works.md): Learn how ICME PreFlight uses automated reasoning, forma