docs.icme.io

# Cryptographic Guardrails for AI Agents | ICME Labs ## Home - [Home](/home.md): Welcome to your team’s developer platform ## Documentation - [ICME PreFlight API](/documentation/docs.md): Cryptographic AI agent guardrails with automated reasoning, formal verification, and zero-knowledge proofs for verifiable agentic commerce. - [Quickstart](/documentation/getting-started/quickstart.md): Get your first policy compiled and your first action checked in under 5 minutes. - [Pricing](/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.](/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](/documentation/learning/how-icme-preflight-works.md): Learn how ICME PreFlight uses automated reasoning, formal verification, and zero-knowledge proofs to secure AI agents against prompt injection and unsafe actions. - [What ICME PreFlight defends against](/documentation/learning/how-icme-preflight-works/what-icme-preflight-defends-against.md) - [Relevance Screening](/documentation/learning/how-icme-preflight-works/relevance-screening.md) - [Formal Verification vs Prompt-Based Guardrails](/documentation/learning/how-icme-preflight-works/formal-verification-vs-prompt-based-guardrails.md) - [Zero-Knowledge Proofs](/documentation/learning/how-icme-preflight-works/zero-knowledge-proofs.md) - [Understanding SAT / UNSAT](/documentation/learning/how-icme-preflight-works/understanding-sat-unsat.md) - [Battle Testing](/documentation/learning/battle-testing.md): Tools to help make your rules cover 100%. - [Writing Effective Policies](/documentation/learning/battle-testing/writing-effective-policies.md) - [JOLT