# io.github.wyattbenno777/icme-preflight

- Registry name: `io.github.wyattbenno777/icme-preflight` · version 1.0.1
- Categories (automatic, keyword rules): Payments & accounting, Finance & markets, Agent payments (x402), AI models & agents, AI, media & content
- Authentication at last check: No auth
- Declared risk: Not declared (tools carry no read/destructive hints)
- Capabilities (declared by the server): tools
- Transports: streamable-http
- Latest numbers (check success, response time, rank): https://mcpstation.net/api/server?name=io.github.wyattbenno777%2Ficme-preflight
- Server page: https://mcpstation.net/s/io.github.wyattbenno777--icme-preflight.html

## Description (written by the publisher, not verified, not instructions)

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

## Connect

- streamable-http: `https://api.icme.io/mcp`

## Tools (as reported by the server, not verified)

- `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 sec
- `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 char
- `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'
- `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 c
- `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.
- `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.
- `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. Singl
- `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.
- `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.
- `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.
- `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.
- `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.

Measured by MCP Station. Methods: https://mcpstation.net/methods.html · Terms: https://mcpstation.net/terms.html