MCP server

Icme Preflight

io.github.wyattbenno777/icme-preflight

Checked 26 Oct 2026, 08:29 UTC · Connected to it and listed its tools

Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.

Source

At a glance

Type

MCP server

Publisher

Not verified

Status

Working at last check

Tools

14

Token cost

About 2,366 tokens per request

Sets up in

Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code, Antigravity, ChatGPT, OpenAI API, Grok

Last checked

26 Oct 2026, 08:29 UTC

Connect it to your agent

Add to CursorAdd to VS CodeVS Code Insiders

Opens the app, which shows the server and asks you to confirm. For other apps, copy the setup below.

Claude Code

claude mcp add --transport http icme-preflight https://api.icme.io/mcp

Claude Desktop

Settings → Connectors → Add custom connector, and paste the URL.

Codex (config.toml)

[mcp_servers.icme-preflight]
url = "https://api.icme.io/mcp"

Gemini CLI

{"mcpServers":{"icme-preflight":{"httpUrl":"https://api.icme.io/mcp"}}}

Cursor

{"mcpServers":{"icme-preflight":{"url":"https://api.icme.io/mcp"}}}

VS Code

{"servers":{"icme-preflight":{"type":"http","url":"https://api.icme.io/mcp"}}}

Antigravity

agy mcp add icme-preflight https://api.icme.io/mcp

ChatGPT

Settings → Apps & Connectors → Advanced settings: turn on Developer mode, then Create a connector and paste the URL. Which plans can do this varies.

OpenAI API (Responses tools)

{"type":"mcp","server_label":"icme-preflight","server_url":"https://api.icme.io/mcp","require_approval":"always"}

Grok (xAI API tools)

{"type":"mcp","server_label":"icme-preflight","server_url":"https://api.icme.io/mcp"}

Tools

• check_action ~248 tokens
  Enforce a guardrail: verify an agent action against a compiled policy using formal verification. An SMT solver — not an LLM — determines whether the action satisfies every rule. Returns SAT (allowed) or UNSAT (blocked) with extracted values and a cryptographic ZK proof that the check was performed c
• check_action_paid ~174 tokens
  Same formal verification as check_action, but pay per call with x402 ($0.10 USDC on Base) instead of using credits. No API key or account needed — any agent with a wallet can verify actions on the fly. Returns SAT (allowed) or UNSAT (blocked) with extracted values and optional ZK proof.
• check_logic ~238 tokens
  Catch contradictions in reasoning before acting on it. FREE — no account needed. Extracts quantitative and logical claims from any plan, calculation, or chain of thought, then uses a Z3 SAT solver to mathematically prove whether they contradict each other. This is formal verification, not an LLM sec
• check_relevance ~238 tokens
  Free relevance screen — checks whether an action touches any of your policy variables before running a paid check. Returns a relevance score and which variables matched. If should_check is true, run check_action. If false, the action is unrelated to your policy — skip the paid check. No credits char
• create_account Changes accounts · ~140 tokens
  Create an ICME Preflight account with x402 USDC payment ($5.00 on Base). Returns an API key and 325 starting credits immediately. Save the api_key — it is shown only once. Use create_account_card instead if paying by credit card.
• create_account_card Changes accounts · ~127 tokens
  Create an ICME Preflight account with a credit card ($5.00 via Stripe). Returns a checkout_url — open it in a browser to pay. After payment completes, call poll_session with the session_id to retrieve your API key.
• get_scenarios ~135 tokens
  Review auto-generated test scenarios for a compiled policy. Shows example actions that should pass and fail, so you can verify the policy behaves as intended before deploying it. Requires api_key.
• make_rules ~234 tokens
  Turn a plain-English policy into a jailbreak-proof guardrail. Write rules the way you would explain them to a colleague — ICME compiles them into formal logic (SMT-LIB) that a mathematical solver enforces. No prompt engineering. No LLM judges. The solver either proves an action complies or it doesn'
• poll_session ~120 tokens
  Check the status of a Stripe card payment. Returns pending or complete. On completion after signup, returns the api_key. Call this after create_account_card or top_up_card once the user has paid.
• quick_check ~183 tokens
  Fast yes/no guardrail verdict — returns only ALLOWED or BLOCKED with no proof details. Use when you need a lightweight gate and don't need the full SAT/UNSAT report or ZK proof. Same formal verification under the hood, just a minimal response. 1 credit. Requires api_key.
• run_tests ~132 tokens
  Run saved test cases against a policy to confirm it blocks what it should block and allows what it should allow. Run this after make_rules and before using the policy in production. Requires api_key.
• top_up ~94 tokens
  Add 500 credits to your account via x402 USDC payment ($5.00 on Base). Use top_up_card instead for credit card payment with volume discounts. Requires api_key.
• top_up_card ~142 tokens
  Add credits via credit card with volume bonuses. Returns a checkout_url. Tiers: $5 = 500 credits, $10 = 1,050 (+5%), $25 = 2,750 (+10%), $50 = 5,750 (+15%), $100 = 12,000 (+20%). Credits never expire. Requires api_key.
• verify_proof ~161 tokens
  Independently verify a ZK proof from a prior check_action call. Confirms the guardrail check was performed correctly without re-running it — any third party or monitoring agent can verify in under one second. No additional cost. Wait a few minutes after the check for the proof to be generated. Singl

Browse

• GitHub tools
• Stripe tools
• Payments
• GitHub and code hosting
• Calling other AI models

Related MCP servers

• LLM Red-Team Scanner
  LLM agent security review: live injection/jailbreak probes plus a static audit of missing guardrails
• Overwing
  Guardrails for LLM output: pass / fail / review verdicts and one recommended action. Hosted or npm.
• Guardrail MCP
  Deterministic preflight checks for credentials, fund transfers, writes, and prompt overrides.
• Zero-Trust Physics
  A physics verifier for Super Intelligence. Every answer comes with a cryptographic proof.
• Mps Preflight
  Claim-level provenance preflight for sanitized nonfiction passages; automated triage only.
• X402 Endpoints
  x402 paid API tools for AI agents on Base: EU/global registries, crypto, wallet & agent trust.
• Taste
  Expert review for AI agents. On-chain proof of human review.
• Collar Guardrail — Pre-Trade Risk Layer
  Deterministic pre-trade risk checks for AI agents on Robinhood Chain. Returns allow/warn/deny.

Badge for your README

[![AptLynx](https://aptlynx.net/badge/io.github.wyattbenno777/icme-preflight.svg)](https://aptlynx.net/servers/io.github.wyattbenno777/icme-preflight)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents