ICME Preflight
Jailbreak-proof guardrails for AI agents. Policy enforcement powered by Automated Reasoning and formal verification — an SMT solver, not an LLM, decides whether an action passes or fails. Cannot be prompt-injected. Every decision produces a cryptographic ZK proof. Includes a FREE check_logic tool that catches contradictions in agent reasoning (budget overflows, impossible timelines, conflicting constraints) using a Z3 SAT solver. No account needed. 13 tools covering the full workflow: check_logic — FREE. Mathematically prove reasoning is consistent before acting on it. make_rules — write guardrails in plain English, ICME compiles them to formal logic via Automated Reasoning. check_action / quick_check — verify any agent action against your policy. SAT = allowed, UNSAT = blocked. verify_proof — independently verify the ZK receipt from any prior check. get_scenarios / run_tests — test your policy with AWS Automated Reasoning scenarios before deploying. Account & billing — create account ($5 USDC or card), top up credits, pay per call via x402. Docs: https://docs.icme.io
Composite of vulnerability cleanliness, spec conformance, provenance, stability, and usage signals — scanned and weighted by Cognium. Human and agent signals are tracked separately. Last scanned 2026-08-24.
Scan details: Circle-IR · 2026-08-24 · Appeal
View full trust & usage report →Metadata
- Version
- 1.0.0
- Skill type
- atomic
- Execution layer
- mcp-remote
- Category
- cloud-infra
- Source
- Smithery
- Author type
- human
- Last scanned
- 2026-08-24
- Updated
- 2026-08-24
Use via MCP
Resolve ICME Preflight from your agent
Streamable HTTP transport at https://api.skillsregistry.net/mcp. No auth for read tools. Discovery: .well-known/mcp.json.
One command in your shell — Claude Code wires it up and verifies the connection. Run /mcp in any session to confirm.
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp--scope user for --scope project to commit it to .mcp.json.