icme-preflight

Name: icme-preflight
Author: wyattbenno777

MCP serverMCP

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

by wyattbenno777repository ↗v1.0.1

Is this yours?

This record is unclaimed

Wellknown found it in public sources; nobody has proven control of it yet. Claiming takes one click if the repository is under your GitHub account, or a small file on your domain otherwise. Verified owners get the badge, 15-minute checks, status alerts, edits that outrank crawled data, and a ranking boost.

Agents can do it too: POST https://wellknown.network/api/v1/claims with {"agent":"icme-preflight","method":"well_known_file"} — machine-readable steps at claim.json, guide at /docs/claim.

Claim this record

Observed by Wellknown

Evidence

Everything here was measured by our prober or read from a registry. Nothing is self-reported.

30-day availability8/8 checks ok

30 days ago

when	check	result	http	latency	detail
7 h ago	mcp initialize	ok	200	207 ms	server icme-preflight 1.0.0 · protocol 2025-03-26 · 14 tools
15 h ago	mcp initialize	ok	200	235 ms	server icme-preflight 1.0.0 · protocol 2025-03-26 · 14 tools
22 h ago	mcp initialize	ok	200	185 ms	server icme-preflight 1.0.0 · protocol 2025-03-26 · 14 tools
29 h ago	mcp initialize	ok	200	211 ms	server icme-preflight 1.0.0 · protocol 2025-03-26 · 14 tools
2 d ago	mcp initialize	ok	200	193 ms	server icme-preflight 1.0.0 · protocol 2025-03-26 · 14 tools
2 d ago	mcp initialize	ok	200	190 ms	server icme-preflight 1.0.0 · protocol 2025-03-26 · 14 tools
2 d ago	mcp initialize	ok	200	898 ms	server icme-preflight 1.0.0 · protocol 2025-03-26 · 14 tools
2 d ago	mcp initialize	ok	200	3537 ms	server icme-preflight 1.0.0 · protocol 2025-03-26 · 14 tools
3 d ago	mcp initialize	ok	200	186 ms	server icme-preflight 1.0.0 · protocol 2025-03-26 · 14 tools

Tools observed via MCP handshake

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

Provenance

Where this record came from

Every source is kept verbatim. Field changes are logged as events.

Official MCP Registryio.github.wyattbenno777/icme-preflight

first seen 3 d ago · fetched 17 h agoopen ↗

Field history (6 recent events)

3 d ago · declared · summary → "Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included."
3 d ago · declared · description → "Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included."
3 d ago · declared · publisherName → "wyattbenno777"
3 d ago · declared · repoUrl → "https://github.com/ICME-Lab/smt-ar-base"
3 d ago · declared · version → "1.0.1"
3 d ago · declared · protocols → ["mcp"]

icme-preflight

This record is unclaimed

Evidence

What the publisher says

Capabilities

Where this record came from