Icme Preflight is answering right now. Last checked 14 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
51 days of history · worst day 95%
51 days agonow
96.7%
Uptime 24h
88 of 91 checks
14
Tools
read from the server
426 ms
Response time
average over 24h
open, no key
Access
streamable-http
Icme Preflight does not always answer
Over the last week it answered 98.6% of our checks. We check every 15 minutes, so you hear about the next outage within the hour — not from your users.
Connect this server
Endpoint below is the one we actually reach during checks — not the one copied from a README. Last verified 14 min ago.
run in your terminal
claude mcp add icme-preflight --transport http https://api.icme.io/mcp~/Library/Application Support/Claude/claude_desktop_config.json
{
"mcpServers": {
"icme-preflight": {
"url": "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
{
"mcpServers": {
"icme-preflight": {
"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 | 375 ms | 14 min ago |
Alternatives to Icme Preflight
same job, measured the same wayAgentshield MCP
by dl-eigenart
Detect prompt injection, jailbreak, and social-engineering attacks in LLM agents.
AI Firewall MCP
by akhilucky
Multi-agent LLM security layer detecting prompt injection and jailbreaks.
GridProof
by gridproof
Gridproof your UI — automated spacing & grid QA in the agent loop (MCP server).
Safeprompt
by safeprompt
Detect prompt injection, jailbreaks, and code injection in untrusted text before it reaches an LLM.
Bardo
by bardo
Identity & continuity for AI agents, gated by a proof-of-being-an-LLM puzzle.
PromptGuard Scan MCP
by promptguardscan
Paid remote MCP for LLM security scans, jailbreak checks, analytics, checkout, and readiness.
Fuzz-Breaker
by evozim
Automated API pentesting and structural fuzzing proxy.
Creedspace MCP Server
by creed-space
Constitutional-AI safety guardrails for any LLM — personas, constitutions, adjudication.
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 88 of 91 checks got a reply (96.7%), average response time 426 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 with the file path 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 426 ms on average, which is faster than 37% of all working MCP servers we measure. The comparison comes from our own checks across the whole registry, every 15 minutes.