# Wyattbenno777 Icme Preflight MCP server

Source: https://glimind.com/server/mcp-registry%2Fio.github.wyattbenno777%2Ficme-preflight
Registry id: `mcp-registry/io.github.wyattbenno777/icme-preflight`
Status: live (checked 2026-10-27T02:00:19.754Z)

## Measurements (30 days)

- Uptime: 99.97%
- Checks: 4950
- Outages (90 days): 6

## Install

```json
{
  "mcpServers": {
    "wyattbenno777-icme-preflight-mcp-server": {
      "type": "http",
      "url": "https://api.icme.io/mcp"
    }
  }
}
```

Claude Code:

```sh
claude mcp add --transport http wyattbenno777-icme-preflight-mcp-server https://api.icme.io/mcp
```

## Tools (14)

- `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 sati
- `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 wit
- `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 o
- `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
- `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
- `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
- `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 be
- `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 (
- `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 
- `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 re
- `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 
- `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%), $10
- `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 

Measured by Glimind (https://glimind.com): MCP handshake + tool list only, no tool is ever called. CC BY 4.0.