io.github.wyattbenno777/icme-preflight

up checked 2026-11-11T10:39:01.055Z

Unclaimed · Unverified

Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.

Publisher-provided description

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

Summary by lookupd

Lets agents enforce formally verified guardrails on actions, check reasoning for contradictions, and manage policy tests and paid credits.

Install

Claude Code, remote (streamable-http)

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

Codex, remote (streamable-http)

codex mcp add icme-preflight --url https://api.icme.io/mcp

Cursor, remote (streamable-http) → .cursor/mcp.json

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

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Tools (14 tools)

Publisher-provided text

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
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 (
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
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
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
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
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
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
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
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

Details

Version: 1.0.1
Transports: streamable-http
Uptime (7 days): 100%
Median latency: 224 ms
First indexed: 2026-11-01T10:00:19.011Z
Last seen in registry: 2026-11-01T10:00:19.099Z
Repository: https://github.com/ICME-Lab/smt-ar-base

Badge for your README

Shows this live status and links here; updates hourly.

[![lookupd status](https://lookupd.com/badge/io.github.wyattbenno777/icme-preflight.svg)](https://lookupd.com/servers/io.github.wyattbenno777/icme-preflight)

62141 servers
Last crawl: 2026-11-11T18:39:04.612Z
API base: https://api.lookupd.com
MCP URL: https://api.lookupd.com/mcp