# 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 Atlas (zkML)](/documentation/learning/jolt-atlas-zkml.md)
- [ONNX](/documentation/learning/jolt-atlas-zkml/onnx.md)
- [ONNX Runtime](/documentation/learning/jolt-atlas-zkml/onnx/onnx-runtime.md)
- [Quantization](/documentation/learning/jolt-atlas-zkml/onnx/quantization.md)
- [Tensor Instructions](/documentation/learning/jolt-atlas-zkml/onnx/tensor-instructions.md)
- [Lookups](/documentation/learning/jolt-atlas-zkml/onnx/lookups.md)
- [Architecture](/documentation/learning/jolt-atlas-zkml/architecture.md)
- [Crypto Wallet Agent Protection](/documentation/agentic-commerce/crypto-wallet-agent-protection.md): AI agents with signing authority over wallets are losing real money to attacks that have nothing to do with breaking cryptography.
- [Verifiable API Discovery: How Buyer Agents Find the Right Tool](/documentation/agentic-commerce/verifiable-api-discovery-how-buyer-agents-find-the-right-tool.md)
- [Agentic Commerce Clearing House](/documentation/agentic-commerce/agentic-commerce-clearing-house.md): A single settlement policy that verifies both parties' guardrail proofs before any x402 stablecoin transfer settles. No trust required.
- [Cryptographic Guardrails for Your OpenClaw Agent](/documentation/openclaw/cryptographic-guardrails-for-your-openclaw-agent.md): Your OpenClaw agent is sending emails, executing trades, creating accounts, and modifying files — right now, while you're not watching. You have no proof it checked any rule before it acted.
- [Guardrails for Self-Evolving OpenClaw Agents](/documentation/openclaw/cryptographic-guardrails-for-your-openclaw-agent/guardrails-for-self-evolving-openclaw-agents.md): How to write and battle test a policy that catches data exfiltration and blocks unauthorized self-modification in OpenClaw agents.
- [Blocking ClawHavoc with ICME PreFlight](/documentation/openclaw/cryptographic-guardrails-for-your-openclaw-agent/blocking-clawhavoc-with-icme-preflight.md)
- [Fake Merchant & Phishing Attacks](/documentation/e-commerce/fake-merchant-and-phishing-attacks.md): AI shopping agents are completing checkout on fraudulent sites — without the human ever seeing the suspicious domain.
- [E-Commerce Cart Hijacking: Prompt Injection Against AI Shopping Agents](/documentation/e-commerce/e-commerce-cart-hijacking-prompt-injection-against-ai-shopping-agents.md): Learn how e-commerce cart hijacking attacks manipulate AI shopping agents through hidden product listing instructions, price overrides, quantity changes, and credential exfiltration.
- [Protect Your Inbox from Rogue AI Agents](/documentation/personal-and-privacy/protect-your-inbox-from-rogue-ai-agents.md): An AI email assistant that forgets its instructions can delete your entire inbox in seconds. PreFlight makes sure that never happens - even when the agent ignores you.
- [Personal Data Access Agent](/documentation/personal-and-privacy/personal-data-access-agent.md)
- [HIPAA Patient Data Sharing](/documentation/personal-and-privacy/hipaa-patient-data-sharing.md): This page walks through a complete HIPAA compliance policy for a healthcare AI agent — the policy, the tests, and the key learnings that make it work reliably with automated reasoning.

## API Reference

- [Developer Platform API](/api-reference/readme.md): Docs for bots.