{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_ur5mw5mwst6h","handle":"icme-preflight","url":"https://wellknown.network/agents/icme-preflight","links":{"self":"https://wellknown.network/agents/icme-preflight/record.json","html":"https://wellknown.network/agents/icme-preflight","markdown":"https://wellknown.network/agents/icme-preflight/record.md","api":"https://wellknown.network/api/v1/agents/icme-preflight","status":"https://wellknown.network/api/v1/agents/icme-preflight/status","claim":"https://wellknown.network/agents/icme-preflight/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/icme-preflight/claim.json","badge":"https://wellknown.network/agents/icme-preflight/badge.svg","openapi":"https://wellknown.network/openapi.json"},"ard":{"identifier":"urn:air:api.icme.io:server:icme-preflight","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"icme-preflight","summary":"Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.","description":"Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.","publisher":{"name":"wyattbenno777","url":null},"homepage":null,"repository":"https://github.com/ICME-Lab/smt-ar-base","version":"1.0.1","license":null,"protocols":["mcp"],"tags":[],"pricing":null,"endpoints":[{"url":"https://api.icme.io/mcp","type":"mcp_streamable_http","auth":null,"probeable":true}],"skills":null,"tools":null,"extra":{"updatedAt":"2026-03-23T16:55:58.85125Z","publishedAt":"2026-03-23T16:55:58.85125Z","registryName":"io.github.wyattbenno777/icme-preflight"},"attribution":{"kind":"mcp_registry","name":"mcp_registry","repoUrl":"mcp_registry","summary":"mcp_registry","version":"mcp_registry","description":"mcp_registry","publisherName":"mcp_registry"}},"derived":{"capabilities":[{"slug":"commerce.payments","name":"Payments","confidence":1,"provenance":"derived"},{"slug":"knowledge.reasoning","name":"Reasoning & Planning","confidence":0.964,"provenance":"derived"},{"slug":"infra.browser-automation","name":"Browser Automation","confidence":0.51,"provenance":"derived"}],"categories":["commerce","infra","knowledge"],"language":"en"},"observed":{"status":"live","statusReason":"Responded 5m ago.","lastOkAt":"2026-09-09T23:28:41.294Z","lastProbedAt":"2026-09-09T23:28:41.294Z","statusComputedAt":"2026-09-09T23:30:07.536Z","reliability30d":{"probes":9,"successRate":1,"p50Ms":431},"latestObservations":[{"at":"2026-09-09T23:28:41.294Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":198,"error":null,"detail":{"tools":[{"name":"check_logic","description":"Catch contradictions in reasoning before acting on it. FREE — no account needed. Extracts quantitative and logical claims from any plan, calculation, or chain o"},{"name":"check_relevance","description":"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"},{"name":"make_rules","description":"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 ("},{"name":"check_action","description":"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"},{"name":"check_action_paid","description":"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"},{"name":"quick_check","description":"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"},{"name":"verify_proof","description":"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 "},{"name":"get_scenarios","description":"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"},{"name":"run_tests","description":"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 "},{"name":"create_account","description":"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"},{"name":"create_account_card","description":"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"},{"name":"top_up","description":"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."},{"name":"top_up_card","description":"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"},{"name":"poll_session","description":"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 "}],"toolCount":14,"serverName":"icme-preflight","capabilities":["tools"],"serverVersion":"1.0.0","protocolVersion":"2025-03-26"}},{"at":"2026-09-09T15:26:57.008Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":207,"error":null,"detail":{"tools":[{"name":"check_logic","description":"Catch contradictions in reasoning before acting on it. FREE — no account needed. Extracts quantitative and logical claims from any plan, calculation, or chain o"},{"name":"check_relevance","description":"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"},{"name":"make_rules","description":"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 ("},{"name":"check_action","description":"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"},{"name":"check_action_paid","description":"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"},{"name":"quick_check","description":"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"},{"name":"verify_proof","description":"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 "},{"name":"get_scenarios","description":"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"},{"name":"run_tests","description":"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 "},{"name":"create_account","description":"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"},{"name":"create_account_card","description":"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"},{"name":"top_up","description":"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."},{"name":"top_up_card","description":"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"},{"name":"poll_session","description":"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 "}],"toolCount":14,"serverName":"icme-preflight","capabilities":["tools"],"serverVersion":"1.0.0","protocolVersion":"2025-03-26"}},{"at":"2026-09-09T07:22:07.087Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":235,"error":null,"detail":{"tools":[{"name":"check_logic","description":"Catch contradictions in reasoning before acting on it. FREE — no account needed. Extracts quantitative and logical claims from any plan, calculation, or chain o"},{"name":"check_relevance","description":"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"},{"name":"make_rules","description":"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 ("},{"name":"check_action","description":"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"},{"name":"check_action_paid","description":"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"},{"name":"quick_check","description":"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"},{"name":"verify_proof","description":"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 "},{"name":"get_scenarios","description":"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"},{"name":"run_tests","description":"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 "},{"name":"create_account","description":"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"},{"name":"create_account_card","description":"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"},{"name":"top_up","description":"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."},{"name":"top_up_card","description":"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"},{"name":"poll_session","description":"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 "}],"toolCount":14,"serverName":"icme-preflight","capabilities":["tools"],"serverVersion":"1.0.0","protocolVersion":"2025-03-26"}},{"at":"2026-09-09T00:23:33.368Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":185,"error":null,"detail":{"tools":[{"name":"check_logic","description":"Catch contradictions in reasoning before acting on it. FREE — no account needed. Extracts quantitative and logical claims from any plan, calculation, or chain o"},{"name":"check_relevance","description":"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"},{"name":"make_rules","description":"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 ("},{"name":"check_action","description":"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"},{"name":"check_action_paid","description":"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"},{"name":"quick_check","description":"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"},{"name":"verify_proof","description":"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 "},{"name":"get_scenarios","description":"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"},{"name":"run_tests","description":"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 "},{"name":"create_account","description":"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"},{"name":"create_account_card","description":"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"},{"name":"top_up","description":"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."},{"name":"top_up_card","description":"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"},{"name":"poll_session","description":"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 "}],"toolCount":14,"serverName":"icme-preflight","capabilities":["tools"],"serverVersion":"1.0.0","protocolVersion":"2025-03-26"}},{"at":"2026-09-08T17:20:12.757Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":211,"error":null,"detail":{"tools":[{"name":"check_logic","description":"Catch contradictions in reasoning before acting on it. FREE — no account needed. Extracts quantitative and logical claims from any plan, calculation, or chain o"},{"name":"check_relevance","description":"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"},{"name":"make_rules","description":"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 ("},{"name":"check_action","description":"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"},{"name":"check_action_paid","description":"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"},{"name":"quick_check","description":"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"},{"name":"verify_proof","description":"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 "},{"name":"get_scenarios","description":"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"},{"name":"run_tests","description":"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 "},{"name":"create_account","description":"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"},{"name":"create_account_card","description":"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"},{"name":"top_up","description":"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."},{"name":"top_up_card","description":"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"},{"name":"poll_session","description":"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 "}],"toolCount":14,"serverName":"icme-preflight","capabilities":["tools"],"serverVersion":"1.0.0","protocolVersion":"2025-03-26"}},{"at":"2026-09-08T10:24:31.473Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":193,"error":null,"detail":{"tools":[{"name":"check_logic","description":"Catch contradictions in reasoning before acting on it. FREE — no account needed. Extracts quantitative and logical claims from any plan, calculation, or chain o"},{"name":"check_relevance","description":"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"},{"name":"make_rules","description":"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 ("},{"name":"check_action","description":"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"},{"name":"check_action_paid","description":"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"},{"name":"quick_check","description":"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"},{"name":"verify_proof","description":"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 "},{"name":"get_scenarios","description":"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"},{"name":"run_tests","description":"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 "},{"name":"create_account","description":"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"},{"name":"create_account_card","description":"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"},{"name":"top_up","description":"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."},{"name":"top_up_card","description":"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"},{"name":"poll_session","description":"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 "}],"toolCount":14,"serverName":"icme-preflight","capabilities":["tools"],"serverVersion":"1.0.0","protocolVersion":"2025-03-26"}},{"at":"2026-09-08T03:22:58.727Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":190,"error":null,"detail":{"tools":[{"name":"check_logic","description":"Catch contradictions in reasoning before acting on it. FREE — no account needed. Extracts quantitative and logical claims from any plan, calculation, or chain o"},{"name":"check_relevance","description":"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"},{"name":"make_rules","description":"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 ("},{"name":"check_action","description":"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"},{"name":"check_action_paid","description":"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"},{"name":"quick_check","description":"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"},{"name":"verify_proof","description":"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 "},{"name":"get_scenarios","description":"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"},{"name":"run_tests","description":"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 "},{"name":"create_account","description":"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"},{"name":"create_account_card","description":"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"},{"name":"top_up","description":"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."},{"name":"top_up_card","description":"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"},{"name":"poll_session","description":"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 "}],"toolCount":14,"serverName":"icme-preflight","capabilities":["tools"],"serverVersion":"1.0.0","protocolVersion":"2025-03-26"}},{"at":"2026-09-07T20:20:07.602Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":898,"error":null,"detail":{"tools":[{"name":"check_logic","description":"Catch contradictions in reasoning before acting on it. FREE — no account needed. Extracts quantitative and logical claims from any plan, calculation, or chain o"},{"name":"check_relevance","description":"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"},{"name":"make_rules","description":"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 ("},{"name":"check_action","description":"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"},{"name":"check_action_paid","description":"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"},{"name":"quick_check","description":"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"},{"name":"verify_proof","description":"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 "},{"name":"get_scenarios","description":"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"},{"name":"run_tests","description":"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 "},{"name":"create_account","description":"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"},{"name":"create_account_card","description":"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"},{"name":"top_up","description":"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."},{"name":"top_up_card","description":"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"},{"name":"poll_session","description":"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 "}],"toolCount":14,"serverName":"icme-preflight","capabilities":["tools"],"serverVersion":"1.0.0","protocolVersion":"2025-03-26"}},{"at":"2026-09-07T13:27:44.891Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":3537,"error":null,"detail":{"tools":[{"name":"check_logic","description":"Catch contradictions in reasoning before acting on it. FREE — no account needed. Extracts quantitative and logical claims from any plan, calculation, or chain o"},{"name":"check_relevance","description":"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"},{"name":"make_rules","description":"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 ("},{"name":"check_action","description":"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"},{"name":"check_action_paid","description":"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"},{"name":"quick_check","description":"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"},{"name":"verify_proof","description":"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 "},{"name":"get_scenarios","description":"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"},{"name":"run_tests","description":"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 "},{"name":"create_account","description":"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"},{"name":"create_account_card","description":"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"},{"name":"top_up","description":"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."},{"name":"top_up_card","description":"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"},{"name":"poll_session","description":"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 "}],"toolCount":14,"serverName":"icme-preflight","capabilities":["tools"],"serverVersion":"1.0.0","protocolVersion":"2025-03-26"}},{"at":"2026-09-07T06:24:05.953Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":186,"error":null,"detail":{"tools":[{"name":"check_logic","description":"Catch contradictions in reasoning before acting on it. FREE — no account needed. Extracts quantitative and logical claims from any plan, calculation, or chain o"},{"name":"check_relevance","description":"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"},{"name":"make_rules","description":"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 ("},{"name":"check_action","description":"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"},{"name":"check_action_paid","description":"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"},{"name":"quick_check","description":"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"},{"name":"verify_proof","description":"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 "},{"name":"get_scenarios","description":"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"},{"name":"run_tests","description":"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 "},{"name":"create_account","description":"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"},{"name":"create_account_card","description":"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"},{"name":"top_up","description":"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."},{"name":"top_up_card","description":"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"},{"name":"poll_session","description":"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 "}],"toolCount":14,"serverName":"icme-preflight","capabilities":["tools"],"serverVersion":"1.0.0","protocolVersion":"2025-03-26"}}],"tools":[{"name":"check_logic","description":"Catch contradictions in reasoning before acting on it. FREE — no account needed. Extracts quantitative and logical claims from any plan, calculation, or chain o"},{"name":"check_relevance","description":"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"},{"name":"make_rules","description":"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 ("},{"name":"check_action","description":"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"},{"name":"check_action_paid","description":"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"},{"name":"quick_check","description":"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"},{"name":"verify_proof","description":"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 "},{"name":"get_scenarios","description":"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"},{"name":"run_tests","description":"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 "},{"name":"create_account","description":"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"},{"name":"create_account_card","description":"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"},{"name":"top_up","description":"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."},{"name":"top_up_card","description":"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"},{"name":"poll_session","description":"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 "}],"package":null},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"mcp_registry","key":"io.github.wyattbenno777/icme-preflight","url":"https://registry.modelcontextprotocol.io/v0/servers/io.github.wyattbenno777%2Ficme-preflight","firstSeenAt":"2026-09-07T06:18:08.683Z","fetchedAt":"2026-09-09T05:20:16.297Z","normalizedAt":"2026-09-09T05:20:16.297Z"}]},"firstSeenAt":"2026-09-07T06:18:08.683Z","updatedAt":"2026-09-09T23:30:27.598Z"}