# ICME Preflight

Jailbreak-proof guardrails for AI agents. Policy enforcement powered by Automated Reasoning and formal verification — an SMT solver, not an LLM, decides whether an action passes or fails. Cannot be p…

## Quick Start

```bash
# Connect this server (installs CLI if needed)
npx -y @smithery/cli@latest mcp add icme-labs/preflight

# Browse available tools
npx -y @smithery/cli@latest tool list icme-labs/preflight

# Get full schema for a tool
npx -y @smithery/cli@latest tool get icme-labs/preflight check_logic

# Call a tool
npx -y @smithery/cli@latest tool call icme-labs/preflight check_logic '{}'
```

## Direct MCP Connection

Endpoint: `https://preflight--icme-labs.run.tools`

## Tools (13)

- `check_logic` — FREE — no account needed. Check if agent reasoning is logically consistent. Extracts quantitative and logical claims, t…
- `create_account` — Create an ICME Preflight account via x402 USDC payment ($5.00 on Base). Returns an API key and 325 starting credits. Sa…
- `create_account_card` — Create an ICME Preflight account via credit card ($5.00). Returns a checkout_url to open in a browser. After payment, c…
- `make_rules` — Compile a natural language policy into formal logic (SMT-LIB). Costs 300 credits. Write your guardrail in plain English…
- `check_action_paid` — Verify an agent action against a guardrail policy via x402 payment ($0.10 USDC on Base). No API key needed. Returns SAT…
- `check_action` — Verify an agent action against a guardrail policy (1 credit). Cheapest path if you have credits from signup or top_up. …
- `verify_action` — Minimal verification: returns ALLOWED or BLOCKED (1 credit). Requires X-API-Key. Use when you only need the verdict.
- `verify_proof` — Verify a ZK proof from a prior check. No additional cost. Wait a few minutes after the check for the proof to be ready.…
- `top_up` — Add 500 credits via x402 USDC payment ($5.00 on Base). Requires X-API-Key to identify the account.
- `top_up_card` — Add credits via credit card. Returns a checkout_url. Tiers: $5=500, $10=1050, $25=2750, $50=5750, $100=12000 credits. R…
- `poll_session` — Poll a Stripe Checkout session after card payment. Returns pending/complete status. For signup, returns the api_key.
- `get_scenarios` — Get generated test scenarios for a policy. Requires X-API-Key.
- `run_tests` — Run saved test cases against a policy. Requires X-API-Key. All tests should pass before production use.

```bash
# Get full input/output schema for a tool
npx -y @smithery/cli@latest tool get icme-labs/preflight <tool-name>
```