ICME Preflight
Cryptographic guardrails for AI agents. Write policies in plain English — Preflight compiles them to formal logic and checks every agent action with a mathematical solver. SAT = allowed, UNSAT = blocked. Every decision produces a zero-knowledge proof: tamper-proof, independently verifiable, and priv
About
Cryptographic guardrails for AI agents. Write policies in plain English — Preflight compiles them to formal logic and checks every agent action with a mathematical solver. SAT = allowed, UNSAT = blocked. Every decision produces a zero-knowledge proof: tamper-proof, independently verifiable, and private.
**12 tools** covering the full workflow:
- **Create account** ($5 USDC or card) → get API key + 325 credits
- **Make rules** — compile natural language policy to formal logic (300 credits)
- **Check actions** — verify agent actions via x402 ($0.10) or credits (1 credit)
- **Verify proofs** — verify ZK receipts from prior checks
- **Top up** — add credits via x402 ($5) or card
Docs: https://docs.icme.io
Is this your product? Claim this listing with an email at your domain to post updates.
Share This Project
Embed Badge
Add this badge to your README:
[](https://hifriendbot.com/ai-list/icme-preflight/)
