{"version":1,"pages":[{"id":"JsKd452Nu8XTrHz68zaF","title":"Home","pathname":"/","siteSpaceId":"sitesp_kpust","description":"Welcome to your team’s developer platform","breadcrumbs":[{"label":"Home","icon":"house"}]},{"id":"LThc2RqOxBKU56Qt3TMy","title":"ICME PreFlight API","pathname":"/documentation","siteSpaceId":"sitesp_ClmV8","icon":"hand-wave","description":"Cryptographic AI agent guardrails with automated reasoning, formal verification, and zero-knowledge proofs for verifiable agentic commerce.","breadcrumbs":[{"label":"Documentation","icon":"book-blank"}]},{"id":"YAWqOuFRpOEj9YCycQSK","title":"Vericoding","pathname":"/documentation/vericoding","siteSpaceId":"sitesp_ClmV8","icon":"rectangle-terminal","description":"Smart contracts in English, verified by math. Type what your contract should do. Get verified code that provably does it. Deploy. Share the proof.","breadcrumbs":[{"label":"Documentation","icon":"book-blank"}]},{"id":"MlzisucqEbSEUazJzbGq","title":"Walkthrough 1: Freelancer Payment","pathname":"/documentation/vericoding/walkthrough-1-freelancer-payment","siteSpaceId":"sitesp_ClmV8","icon":"square-terminal","description":"An end-to-end example of vericoding with ICME PreFlight and Certora.","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"Vericoding","icon":"rectangle-terminal"}]},{"id":"7FvWQMF0kTK7HGhlQfmo","title":"Quickstart","pathname":"/documentation/getting-started/quickstart","siteSpaceId":"sitesp_ClmV8","icon":"bolt","description":"Get your first policy compiled and your first action checked in under 5 minutes.","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"Getting Started"}]},{"id":"B4xsl57smErtv81U733f","title":"Pricing","pathname":"/documentation/getting-started/pricing","siteSpaceId":"sitesp_ClmV8","icon":"square-dollar","description":"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.","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"Getting Started"}]},{"id":"cBNDj4XfLjCs4ynTyCLr","title":"Stop Watching Your Agents. Start Proving They're Right.","pathname":"/documentation/getting-started/stop-watching-your-agents.-start-proving-theyre-right.","siteSpaceId":"sitesp_ClmV8","icon":"eyes","description":"How cryptographic proofs strengthen agent observability by making every decision provably correct, tamper-proof, and privately auditable.","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"Getting Started"}]},{"id":"kRdSYQna09Ug2nt683k9","title":"Cryptographic Guardrails for Claude Code","pathname":"/documentation/getting-started/cryptographic-guardrails-for-claude-code","siteSpaceId":"sitesp_ClmV8","icon":"claude","description":"A secure alternative to hookify for Claude Code.","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"Getting Started"}]},{"id":"i73g4LZQanoLj7XtSO18","title":"How ICME PreFlight Works","pathname":"/documentation/learning/how-icme-preflight-works","siteSpaceId":"sitesp_ClmV8","icon":"face-thinking","description":"Learn how ICME PreFlight uses automated reasoning, formal verification, and zero-knowledge proofs to secure AI agents against prompt injection and unsafe actions.","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"Learning"}]},{"id":"jYatpBmWXogE6K54cYvs","title":"What ICME PreFlight defends against","pathname":"/documentation/learning/how-icme-preflight-works/what-icme-preflight-defends-against","siteSpaceId":"sitesp_ClmV8","icon":"shield","description":"","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"Learning"},{"label":"How ICME PreFlight Works","icon":"face-thinking"}]},{"id":"3YKOvvgho8Z6V3U4ZXO4","title":"Relevance Screening","pathname":"/documentation/learning/how-icme-preflight-works/relevance-screening","siteSpaceId":"sitesp_ClmV8","icon":"bridge-suspension","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"Learning"},{"label":"How ICME PreFlight Works","icon":"face-thinking"}]},{"id":"VlGSD9k3zzDjqy9wbAS0","title":"Formal Verification vs Prompt-Based Guardrails","pathname":"/documentation/learning/how-icme-preflight-works/formal-verification-vs-prompt-based-guardrails","siteSpaceId":"sitesp_ClmV8","icon":"bolt-lightning","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"Learning"},{"label":"How ICME PreFlight Works","icon":"face-thinking"}]},{"id":"E0MasVk5869ULU3HkTa5","title":"Zero-Knowledge Proofs","pathname":"/documentation/learning/how-icme-preflight-works/zero-knowledge-proofs","siteSpaceId":"sitesp_ClmV8","icon":"function","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"Learning"},{"label":"How ICME PreFlight Works","icon":"face-thinking"}]},{"id":"oX2V6iaZxWecoatOZNTz","title":"Understanding SAT / UNSAT","pathname":"/documentation/learning/how-icme-preflight-works/understanding-sat-unsat","siteSpaceId":"sitesp_ClmV8","icon":"pi","description":"","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"Learning"},{"label":"How ICME PreFlight Works","icon":"face-thinking"}]},{"id":"Pb23cvH1AZwJrrSLigTh","title":"Battle Testing","pathname":"/documentation/learning/battle-testing","siteSpaceId":"sitesp_ClmV8","icon":"swords","description":"Tools to help make your rules cover 100%.","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"Learning"}]},{"id":"TCzrqbWEpeHI8x3SLKAC","title":"Writing Effective Policies","pathname":"/documentation/learning/battle-testing/writing-effective-policies","siteSpaceId":"sitesp_ClmV8","icon":"pen-to-square","description":"","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"Learning"},{"label":"Battle Testing","icon":"swords"}]},{"id":"cXWI4MgmvAvpBxkYjtn2","title":"JOLT Atlas (zkML)","pathname":"/documentation/learning/jolt-atlas-zkml","siteSpaceId":"sitesp_ClmV8","icon":"head-side-circuit","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"Learning"}]},{"id":"qw3K3CxKvNpV06smpIqX","title":"ONNX","pathname":"/documentation/learning/jolt-atlas-zkml/onnx","siteSpaceId":"sitesp_ClmV8","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"Learning"},{"label":"JOLT Atlas (zkML)","icon":"head-side-circuit"}]},{"id":"NaRU1NNBxnAbm4pMxRf0","title":"ONNX Runtime","pathname":"/documentation/learning/jolt-atlas-zkml/onnx/onnx-runtime","siteSpaceId":"sitesp_ClmV8","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"Learning"},{"label":"JOLT Atlas (zkML)","icon":"head-side-circuit"},{"label":"ONNX"}]},{"id":"RBAcg8Ca01kFnHaqsfjD","title":"Quantization","pathname":"/documentation/learning/jolt-atlas-zkml/onnx/quantization","siteSpaceId":"sitesp_ClmV8","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"Learning"},{"label":"JOLT Atlas (zkML)","icon":"head-side-circuit"},{"label":"ONNX"}]},{"id":"KQ5bEtT1tusgPeHYH6KX","title":"Tensor Instructions","pathname":"/documentation/learning/jolt-atlas-zkml/onnx/tensor-instructions","siteSpaceId":"sitesp_ClmV8","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"Learning"},{"label":"JOLT Atlas (zkML)","icon":"head-side-circuit"},{"label":"ONNX"}]},{"id":"uLFCdRKr5ewZD23WxIN3","title":"Lookups","pathname":"/documentation/learning/jolt-atlas-zkml/onnx/lookups","siteSpaceId":"sitesp_ClmV8","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"Learning"},{"label":"JOLT Atlas (zkML)","icon":"head-side-circuit"},{"label":"ONNX"}]},{"id":"VQelkO0G86zjCTpVtost","title":"Architecture","pathname":"/documentation/learning/jolt-atlas-zkml/architecture","siteSpaceId":"sitesp_ClmV8","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"Learning"},{"label":"JOLT Atlas (zkML)","icon":"head-side-circuit"}]},{"id":"3q70tS9TIEsbNvRTIAqU","title":"Crypto Wallet Agent Protection","pathname":"/documentation/agentic-commerce/crypto-wallet-agent-protection","siteSpaceId":"sitesp_ClmV8","icon":"bitcoin","description":"AI agents with signing authority over wallets are losing real money to attacks that have nothing to do with breaking cryptography.","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"Agentic Commerce","icon":"money-bill-trend-up"}]},{"id":"glBR9JSsk6ZKGKqXp8Kq","title":"Protocol, Treasury, and Signer Protection","pathname":"/documentation/agentic-commerce/protocol-treasury-and-signer-protection","siteSpaceId":"sitesp_ClmV8","icon":"bitcoin","description":"Cryptographic policy enforcement for protocols, DAOs, bridges, custodians, and institutional treasuries. Uses natural-language rules, proofs for every action, and receipts any counterparty can verify.","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"Agentic Commerce","icon":"money-bill-trend-up"}]},{"id":"3WYggWOaWgVv345iNLfH","title":"Verifiable API Discovery: How Buyer Agents Find the Right Tool","pathname":"/documentation/agentic-commerce/verifiable-api-discovery-how-buyer-agents-find-the-right-tool","siteSpaceId":"sitesp_ClmV8","icon":"head-side-circuit","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"Agentic Commerce","icon":"money-bill-trend-up"}]},{"id":"3aN5rgS6pPOjlHQCJCms","title":"Agentic Commerce Clearing House","pathname":"/documentation/agentic-commerce/agentic-commerce-clearing-house","siteSpaceId":"sitesp_ClmV8","icon":"store","description":"A single settlement policy that verifies both parties' guardrail proofs before any x402 stablecoin transfer settles. No trust required.","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"Agentic Commerce","icon":"money-bill-trend-up"}]},{"id":"PBcY2pooqLjy3TK8MKxi","title":"Mastercard Verifiable Intent","pathname":"/documentation/agentic-commerce/mastercard-verifiable-intent","siteSpaceId":"sitesp_ClmV8","icon":"cc-mastercard","description":"Integrate Preflight with Mastercard's Verifiable Intent, the cryptographic trust layer in Mastercard Agent Pay. Embed formally verified enterprise-policy compliance proofs in VI Layer 3 credentials.","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"Agentic Commerce","icon":"money-bill-trend-up"}]},{"id":"HUMN70O0OjdD8fwzXqu9","title":"Circle Nanopayments","pathname":"/documentation/agentic-commerce/circle-nanopayments","siteSpaceId":"sitesp_ClmV8","icon":"ball-pile","description":"Spending policy proofs for AI agents transacting in USDC.","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"Agentic Commerce","icon":"money-bill-trend-up"}]},{"id":"Jkil1oYq80DdoHYYvM5p","title":"Cut your agent observability costs and make every trace auditor-proof","pathname":"/documentation/privacy-and-data-security/cut-your-agent-observability-costs-and-make-every-trace-auditor-proof","siteSpaceId":"sitesp_ClmV8","icon":"connectdevelop","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"Privacy & Data Security","icon":"user-lock"}]},{"id":"7NIR9tAtTE9l53rAFeeH","title":"ISO 42001 Enforcement: Evidence Your Auditor Will Actually Accept","pathname":"/documentation/privacy-and-data-security/iso-42001-enforcement-evidence-your-auditor-will-actually-accept","siteSpaceId":"sitesp_ClmV8","icon":"receipt","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"Privacy & Data Security","icon":"user-lock"}]},{"id":"IlRkRT44jCJm6okUkhwA","title":"Protect Your Inbox from Rogue AI Agents","pathname":"/documentation/privacy-and-data-security/protect-your-inbox-from-rogue-ai-agents","siteSpaceId":"sitesp_ClmV8","icon":"envelope","description":"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.","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"Privacy & Data Security","icon":"user-lock"}]},{"id":"zJcfcE3MX5Eiz72bvfps","title":"HIPAA Patient Data Sharing","pathname":"/documentation/privacy-and-data-security/hipaa-patient-data-sharing","siteSpaceId":"sitesp_ClmV8","icon":"heart-pulse","description":"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.","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"Privacy & Data Security","icon":"user-lock"}]},{"id":"LLybMPt1mDS63MmoBYs5","title":"Personal Data Access Agent","pathname":"/documentation/privacy-and-data-security/personal-data-access-agent","siteSpaceId":"sitesp_ClmV8","icon":"person","description":"","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"Privacy & Data Security","icon":"user-lock"}]},{"id":"sSWccX9aEwpWAyXeruy4","title":"Venice AI + Preflight","pathname":"/documentation/privacy-and-data-security/venice-ai-+-preflight","siteSpaceId":"sitesp_ClmV8","icon":"eye-slash","description":"Private AI guardrails for private AI inference. Every prompt encrypted, every policy hidden, verifiable decisions that reveal nothing.","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"Privacy & Data Security","icon":"user-lock"}]},{"id":"Selt7Li6BeUVqOKy0OAL","title":"MikeOSS Legal AI","pathname":"/documentation/privacy-and-data-security/mikeoss-legal-ai","siteSpaceId":"sitesp_ClmV8","icon":"gavel","description":"Open source legal AI document assistant with cryptographic guardrail verification.","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"Privacy & Data Security","icon":"user-lock"}]},{"id":"Lxs82LAZFQ1gtoltf55O","title":"Cryptographic Guardrails for Your OpenClaw Agent","pathname":"/documentation/openclaw/cryptographic-guardrails-for-your-openclaw-agent","siteSpaceId":"sitesp_ClmV8","description":"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.","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"OpenClaw","icon":"lobster"}]},{"id":"TL34XlKoz9wDYlokKeyM","title":"Guardrails for Self-Evolving OpenClaw Agents","pathname":"/documentation/openclaw/cryptographic-guardrails-for-your-openclaw-agent/guardrails-for-self-evolving-openclaw-agents","siteSpaceId":"sitesp_ClmV8","icon":"lobster","description":"How to write and battle test a policy that catches data exfiltration and blocks unauthorized self-modification in OpenClaw agents.","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"OpenClaw","icon":"lobster"},{"label":"Cryptographic Guardrails for Your OpenClaw Agent"}]},{"id":"DDvcDpwpQKQLy9zWjj8R","title":"Blocking ClawHavoc with ICME PreFlight","pathname":"/documentation/openclaw/cryptographic-guardrails-for-your-openclaw-agent/blocking-clawhavoc-with-icme-preflight","siteSpaceId":"sitesp_ClmV8","icon":"lobster","description":"","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"OpenClaw","icon":"lobster"},{"label":"Cryptographic Guardrails for Your OpenClaw Agent"}]},{"id":"FUoxPLFlhKdDaNWnZDv1","title":"Fake Merchant & Phishing Attacks","pathname":"/documentation/e-commerce/fake-merchant-and-phishing-attacks","siteSpaceId":"sitesp_ClmV8","description":"AI shopping agents are completing checkout on fraudulent sites — without the human ever seeing the suspicious domain.","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"e-commerce","icon":"dumpster"}]},{"id":"V4NFo5RhOyPPlxPQoUFR","title":"E-Commerce Cart Hijacking: Prompt Injection Against AI Shopping Agents","pathname":"/documentation/e-commerce/e-commerce-cart-hijacking-prompt-injection-against-ai-shopping-agents","siteSpaceId":"sitesp_ClmV8","description":"Learn how e-commerce cart hijacking attacks manipulate AI shopping agents through hidden product listing instructions, price overrides, quantity changes, and credential exfiltration.","breadcrumbs":[{"label":"Documentation","icon":"book-blank"},{"label":"e-commerce","icon":"dumpster"}]},{"id":"trLwwmumlaofzMKwR3fr","title":"Developer Platform API","pathname":"/api-reference","siteSpaceId":"sitesp_8AOTF","icon":"terminal","description":"Docs for bots.","breadcrumbs":[{"label":"API Reference","icon":"terminal"}]}]}