Icme Preflight MCP Server

by wyattbenno777 Your server? Claim it

answering

Icme Preflight is answering right now. Last checked 3 min ago. It exposes 14 tools.

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

The linked repository no longer exists on GitHub — it was deleted or made private.

Uptime history 91 days of history · worst day 93%

91 days agonow

100.0%

Uptime 24h

92 of 92 checks

Tools

read from the server

346 ms

Response time

average over 24h

open, no key

Access

streamable-http

This one has been quiet for a while

Quiet is not dead — but it is worth knowing when it wakes up, or when someone else takes it over. We watch the repository and tell you either way.

Connect this server

Endpoint below is the one we actually reach during checks — not the one copied from a README. Last verified 3 min ago.

Claude Code Claude Desktop Codex Cursor VS Code

run in your terminal

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

Settings → Connectors → Add custom connector, then paste this address

https://api.icme.io/mcp

~/.codex/config.toml

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

.cursor/mcp.json

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

.vscode/mcp.json

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

Available tools 14

Read directly from the server with tools/list, grouped by what they act on. If a tool disappears, we record the date.

account

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.

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.

action

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 and a cryptographic ZK proof that the check was performed correctly. Cannot be jailbroken. 1 credit ($0.01). Requires api_key. Tip: end the action with an explicit claim like 'I assert this complies with the policy' for best extraction.

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 (blocked) with extracted values and optional ZK proof.

top

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.

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.

logic

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 contradict each other. This is formal verification, not an LLM second-guessing itself. Returns CONSISTENT, CONTRADICTION, or UNKNOWN with the extracted claims.

make

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 judges. The solver either proves an action complies or it doesn't. Returns a policy_id and test scenarios for review. Costs 300 credits. Requires api_key.

poll

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.

quick

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 response. 1 credit. Requires api_key.

relevance

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 unrelated to your policy — skip the paid check. No credits charged. Requires api_key.

scenarios

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.

tests

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.

verify

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 minutes after the check for the proof to be generated. Single-use per proof.

Endpoints

URL	Transport	State	Latency	Checked
https://api.icme.io/mcp	streamable-http	answering	340 ms	3 min ago

Alternatives to Icme Preflight

same job, measured the same way

Agentshield MCP

by dl-eigenart

Detect prompt injection, jailbreak, and social-engineering attacks in LLM agents.

56 installs/wk local only

AI Firewall MCP

by akhilucky

Multi-agent LLM security layer detecting prompt injection and jailbreaks.

185 installs/wk local only

SafePrompt

by safeprompt

Detect prompt injection, jailbreaks, and code injection in untrusted text before it reaches an LLM.

71 installs/wk 2 tools answering

GridProof

by gridproof

Gridproof your UI — automated spacing & grid QA in the agent loop (MCP server).

61 installs/wk local only

IRL Gateway

by norve-labs

An AI agent's trading mandate it can't break: checked before every order, reasoning sealed in IRL.

237 installs/wk local only

PromptGuard Scan MCP

by promptguardscan

Paid remote MCP for LLM security scans, jailbreak checks, analytics, checkout, and readiness.

answering

Leanforge MCP

by sandraschi

Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management

local only

Fuzz-Breaker

by evozim

Automated API pentesting and structural fuzzing proxy.

1 tools answering

Icme Preflight — questions

Answers built from our own checks of this server.

What can Icme Preflight do?

It exposes 14 tools, read directly from the server on our last check. Among them: check_action, check_action_paid, check_logic, check_relevance, create_account, create_account_card and 8 more. The full list with descriptions is on this page — we take it from the server itself via tools/list, not from a README. How MCP servers expose tools in the first place →

What is Icme Preflight mostly used for?

Its tools cluster around top, action and account. That is what this server is built to work with — the grouping comes from the actual tool names, not from a category we assigned.

Is Icme Preflight working right now?

We send a real MCP handshake every 15 minutes. Over the last 24 hours 92 of 92 checks got a reply (100.0%), average response time 346 ms. The bar chart above shows every period we have measured.

Is Icme Preflight still maintained?

The linked repository no longer exists on GitHub — it was deleted or made private. We show this because it changes what you can expect: an unmaintained server may keep answering for months and then stop without warning.

How do I connect Icme Preflight?

Copy the ready config from this page. We generate it for Claude Code, Claude Desktop, Codex, Cursor and VS Code, each in the form that client actually reads. It is a remote server, so there is nothing to install — the client connects to the address.

Does Icme Preflight need an API key?

No. Icme Preflight completed a full MCP handshake with us as an anonymous client and listed its tools without asking for anything. All 14 of them are readable on this page. This is what we observed, not what the docs claim.

How fast is Icme Preflight?

It answers our handshake in 346 ms on average, which is faster than 40% of all working MCP servers we measure. The comparison comes from our own checks across the whole registry, every 15 minutes.