Icme Preflight is an MCP server with 14 tools an agent can call, among them check_action, check_action_paid, check_logic. It answers at https://api.icme.io/mcp over streamable HTTP, and it listed its tools to an anonymous client, so no sign-in was needed for that. Our probes reached it 6 of 6 times since 11 September 2026; the last check, on 24 October 2026, succeeded.
Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.
Description as the publisher wrote it.
| Tool | What it does |
|---|---|
check_action | 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 Inputs: action, api_key, policy_id |
check_action_paid | 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 (blocke Inputs: action, policy_id |
check_logic | 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 contra Inputs: reasoning, show_smt |
check_relevance | 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 unr Inputs: action, api_key, policy_id, threshold |
create_account | 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. Inputs: username |
create_account_card | 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. Inputs: username |
get_scenarios | 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. Inputs: api_key, policy_id |
make_rules | 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 judg Inputs: api_key, policy |
poll_session | 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. Inputs: session_id |
quick_check | 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 respon Inputs: action, api_key, policy_id |
run_tests | 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. Inputs: api_key, policy_id |
top_up | 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. Inputs: api_key |
top_up_card | 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. Inputs: amount_usd, api_key |
verify_proof | 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 Inputs: proof_id |
Every block below points at https://api.icme.io/mcp. Pick your client and copy.
claude mcp add --transport http icme-preflight https://api.icme.io/mcp
{
"mcpServers": {
"icme-preflight": {
"command": "npx",
"args": ["-y", "mcp-remote", "https://api.icme.io/mcp"]
}
}
}{
"mcpServers": {
"icme-preflight": {
"url": "https://api.icme.io/mcp"
}
}
}{
"servers": {
"icme-preflight": {
"type": "http",
"url": "https://api.icme.io/mcp"
}
}
}{
"context_servers": {
"icme-preflight": {
"url": "https://api.icme.io/mcp"
}
}
}{
"mcpServers": {
"icme-preflight": {
"serverUrl": "https://api.icme.io/mcp"
}
}
}{
"mcpServers": {
"icme-preflight": {
"url": "https://api.icme.io/mcp"
}
}
}name: Icme Preflight
version: 0.0.1
schema: v1
mcpServers:
- name: Icme Preflight
type: streamable-http
url: https://api.icme.io/mcp{
"mcpServers": {
"icme-preflight": {
"httpUrl": "https://api.icme.io/mcp"
}
}
}{
"mcpServers": {
"icme-preflight": {
"type": "http",
"url": "https://api.icme.io/mcp"
}
}
}{
"mcpServers": {
"icme-preflight": {
"url": "https://api.icme.io/mcp"
}
}
}goose://extension?url=https%3A%2F%2Fapi.icme.io%2Fmcp&type=streamable_http&id=icme-preflight&name=Icme%20Preflight
It answered our last check on 24 October 2026 in 296 ms. Over 6 checks since 11 September 2026 it answered 6. Status here comes from Neuronto's own probes, not from the publisher.
14, as returned by the server's own tools/list on 22 September 2026: check_action, check_action_paid, check_logic, check_relevance, create_account, create_account_card, get_scenarios, make_rules, and 6 more.
It answered our last check on 24 October 2026 in 296 ms. Over 6 checks since 11 September 2026 it answered 6.
Put the server under mcpServers in ~/.cursor/mcp.json with the URL https://api.icme.io/mcp. The exact JSON is above, with the same setup for Claude Code, Claude Desktop, VS Code, Windsurf, Zed, Gemini CLI and the rest.
It listed its tools to an anonymous client, so reading the tool list needs no key. Individual tools can still ask for credentials in their own inputs.
Publisher: io.github.wyattbenno777. Endpoint host: api.icme.io. ARD identifier: urn:air:io.github.wyattbenno777:mcp:icme-preflight.
First indexed 10 September 2026. The tools are exactly what the server returned; nothing on this page
is inferred from its name. Ranking in Neuronto search is never for sale.