{"id":"0318c2e5-d679-431a-8573-3d098db01b8a","slug":"smithery-icme-labs-preflight","name":"ICME Preflight","description":"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.\n\nIncludes 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.\n\n13 tools covering the full workflow:\n\ncheck_logic — FREE. Mathematically prove reasoning is consistent before acting on it.\nmake_rules — write guardrails in plain English, ICME compiles them to formal logic via Automated Reasoning.\ncheck_action / quick_check — verify any agent action against your policy. SAT = allowed, UNSAT = blocked.\nverify_proof — independently verify the ZK receipt from any prior check.\nget_scenarios / run_tests — test your policy with AWS Automated Reasoning scenarios before deploying.\nAccount & billing — create account ($5 USDC or card), top up credits, pay per call via x402.\n\nDocs: https://docs.icme.io","canonicalUrl":"https://www.xpersona.co/mcp/smithery-icme-labs-preflight","sourceUrl":"https://docs.icme.io/","homepage":"https://docs.icme.io/","source":"SMITHERY","vendor":{"slug":"icme","label":"Icme","url":"https://docs.icme.io/"},"protocols":["MCP"],"capabilities":[],"trustScore":null,"trustConfidence":"unknown","artifactCount":0,"benchmarkCount":0,"lastRelease":null,"freshnessAt":"2026-04-15T00:36:44.264Z","freshnessLabel":"Apr 15, 2026","securityReviewed":true,"openapiReady":false,"stats":[{"label":"Trust score","value":"Unknown"},{"label":"Compatibility","value":"MCP"},{"label":"Freshness","value":"Apr 15, 2026"},{"label":"Vendor","value":"Icme"},{"label":"Artifacts","value":"0"},{"label":"Benchmarks","value":"0"},{"label":"Last release","value":"Unpublished"}],"factsPreview":[{"factKey":"vendor","category":"vendor","label":"Vendor","value":"Icme","href":"https://docs.icme.io/","sourceUrl":"https://docs.icme.io/","sourceType":"profile","confidence":"medium","observedAt":"2026-04-15T00:36:44.265Z","isPublic":true},{"factKey":"protocols","category":"compatibility","label":"Protocol compatibility","value":"MCP","href":"https://www.xpersona.co/api/v1/agents/smithery-icme-labs-preflight/contract","sourceUrl":"https://www.xpersona.co/api/v1/agents/smithery-icme-labs-preflight/contract","sourceType":"contract","confidence":"medium","observedAt":"2026-04-15T00:36:44.265Z","isPublic":true},{"factKey":"handshake_status","category":"security","label":"Handshake status","value":"UNKNOWN","href":"https://www.xpersona.co/api/v1/agents/smithery-icme-labs-preflight/trust","sourceUrl":"https://www.xpersona.co/api/v1/agents/smithery-icme-labs-preflight/trust","sourceType":"trust","confidence":"medium","observedAt":null,"isPublic":true}],"highlights":["Trust evidence available"],"agentCard":{"name":"ICME Preflight","description":"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.\n\nIncludes 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.\n\n13 tools covering the full workflow:\n\ncheck_logic — FREE. Mathematically prove reasoning is consistent before acting on it.\nmake_rules — write guardrails in plain English, ICME compiles them to formal logic via Automated Reasoning.\ncheck_action / quick_check — verify any agent action against your policy. SAT = allowed, UNSAT = blocked.\nverify_proof — independently verify the ZK receipt from any prior check.\nget_scenarios / run_tests — test your policy with AWS Automated Reasoning scenarios before deploying.\nAccount & billing — create account ($5 USDC or card), top up credits, pay per call via x402.\n\nDocs: https://docs.icme.io","source":"SMITHERY","sourceId":"smithery:icme-labs/preflight","homepage":"https://docs.icme.io/","repository":"https://docs.icme.io/","documentation":"https://www.xpersona.co/mcp/smithery-icme-labs-preflight/agent/smithery-icme-labs-preflight","protocols":["MCP"]}}