Summary
This is a guardrails layer that sits in front of your AI system and validates requests using an SMT (Satisfiability Modulo Theories) solver instead of another LLM. The idea is that formal verification tools are harder to jailbreak than pattern-matching models. It runs automated reasoning checks on inputs and outputs, generates zero-knowledge proofs for auditability, and connects via streamable HTTP to api.icme.io/mcp. You'd reach for this when you need cryptographically verifiable proof that your AI constraints were actually enforced, not just that a classifier said they were. The formal methods approach means no prompt injection tricks should slip through, though you'll want to understand SMT constraints to configure it properly.
Plug Mailtrap into your AI workflow and let it handle the email.
Connect Mailtrap MCP →
Agent, run crypto. Access onchain data & trade routes via 1inch.
Install now →
Make coding agent sessions - Searchable, Shareable, Vendor-neutral & Scored.
Try For Free →
Your agent targets a perfect 10 Code Health score. Deterministic. Every commit.
Try For Free →
Integrate web data into your AI product. One API to scrape website & brand data.
Get API Key Now →
belt cli automatically finds the best tools and skills for your agent. image, video, music, tts...
one prompt install →Tools
Public tool metadata for what this MCP can expose to an agent.
13 tools
check_logicFREE — no account needed. Check if agent reasoning is logically consistent. Extracts quantitative and logical claims, then uses a Z3 SAT solver to mathematically prove whether they contradict. Returns CONSISTENT, CONTRADICTION, or UNKNOWN with the extracted claims. Use this be...2 params
FREE — no account needed. Check if agent reasoning is logically consistent. Extracts quantitative and logical claims, then uses a Z3 SAT solver to mathematically prove whether they contradict. Returns CONSISTENT, CONTRADICTION, or UNKNOWN with the extracted claims. Use this be...
Parameters* required
reasoningstringAgent reasoning, plan, or chain of thought to check for contradictions (max 2000 chars)
show_smtbooleanIf true, include the generated SMT-LIB2 formula in the response (default: false)
create_accountCreate an ICME Preflight account via x402 USDC payment ($5.00 on Base). Returns an API key and 325 starting credits. Save the api_key — it is shown only once.1 params
Create an ICME Preflight account via x402 USDC payment ($5.00 on Base). Returns an API key and 325 starting credits. Save the api_key — it is shown only once.
Parameters* required
usernamestringUnique username (1-32 chars, alphanumeric + hyphens/underscores)
create_account_cardCreate an ICME Preflight account via credit card ($5.00). Returns a checkout_url to open in a browser. After payment, call poll_session with the session_id to get your API key.1 params
Create an ICME Preflight account via credit card ($5.00). Returns a checkout_url to open in a browser. After payment, call poll_session with the session_id to get your API key.
Parameters* required
usernamestringUnique username (1-32 chars, alphanumeric + hyphens/underscores)
make_rulesCompile a natural language policy into formal logic (SMT-LIB). Costs 300 credits. Write your guardrail in plain English (up to 50 rules). Returns a policy_id and scenarios for review. Requires X-API-Key.2 params
Compile a natural language policy into formal logic (SMT-LIB). Costs 300 credits. Write your guardrail in plain English (up to 50 rules). Returns a policy_id and scenarios for review. Requires X-API-Key.
Parameters* required
api_keystringYour ICME API key (from create_account)
policystringNatural language policy text with numbered rules (up to 50 rules)
check_action_paidVerify an agent action against a guardrail policy via x402 payment ($0.10 USDC on Base). No API key needed. Returns SAT (allowed) or UNSAT (blocked) with extracted values and optional ZK proof. Tip: end action with an explicit claim.2 params
Verify an agent action against a guardrail policy via x402 payment ($0.10 USDC on Base). No API key needed. Returns SAT (allowed) or UNSAT (blocked) with extracted values and optional ZK proof. Tip: end action with an explicit claim.
Parameters* required
actionstringNatural language agent action to verify (max 2000 chars)
policy_idstringPolicy ID from make_rules
check_actionVerify an agent action against a guardrail policy (1 credit). Cheapest path if you have credits from signup or top_up. Requires X-API-Key. Returns SAT/UNSAT with extracted values and ZK proof.3 params
Verify an agent action against a guardrail policy (1 credit). Cheapest path if you have credits from signup or top_up. Requires X-API-Key. Returns SAT/UNSAT with extracted values and ZK proof.
Parameters* required
actionstringAgent action to verify (max 2000 chars)
api_keystringYour ICME API key
policy_idstringverify_actionMinimal verification: returns ALLOWED or BLOCKED (1 credit). Requires X-API-Key. Use when you only need the verdict.3 params
Minimal verification: returns ALLOWED or BLOCKED (1 credit). Requires X-API-Key. Use when you only need the verdict.
Parameters* required
actionstringapi_keystringpolicy_idstringverify_proofVerify a ZK proof from a prior check. No additional cost. Wait a few minutes after the check for the proof to be ready. Single-use per proof.1 params
Verify a ZK proof from a prior check. No additional cost. Wait a few minutes after the check for the proof to be ready. Single-use per proof.
Parameters* required
proof_idstringZK proof ID from a check_action response
top_upAdd 500 credits via x402 USDC payment ($5.00 on Base). Requires X-API-Key to identify the account.1 params
Add 500 credits via x402 USDC payment ($5.00 on Base). Requires X-API-Key to identify the account.
Parameters* required
api_keystringYour ICME API key
top_up_cardAdd credits via credit card. Returns a checkout_url. Tiers: $5=500, $10=1050, $25=2750, $50=5750, $100=12000 credits. Requires X-API-Key.2 params
Add credits via credit card. Returns a checkout_url. Tiers: $5=500, $10=1050, $25=2750, $50=5750, $100=12000 credits. Requires X-API-Key.
Parameters* required
amount_usdintegerTop-up tier in USD (5, 10, 25, 50, or 100)
api_keystringpoll_sessionPoll a Stripe Checkout session after card payment. Returns pending/complete status. For signup, returns the api_key.1 params
Poll a Stripe Checkout session after card payment. Returns pending/complete status. For signup, returns the api_key.
Parameters* required
session_idstringStripe session ID from create_account_card or top_up_card
get_scenariosGet generated test scenarios for a policy. Requires X-API-Key.2 params
Get generated test scenarios for a policy. Requires X-API-Key.
Parameters* required
api_keystringpolicy_idstringrun_testsRun saved test cases against a policy. Requires X-API-Key. All tests should pass before production use.2 params
Run saved test cases against a policy. Requires X-API-Key. All tests should pass before production use.
Parameters* required
api_keystringpolicy_idstringFeatured
Plug Mailtrap into your AI workflow and let it handle the email.
Connect Mailtrap MCP →Agent, run crypto. Access onchain data & trade routes via 1inch.
Install now →Make coding agent sessions - Searchable, Shareable, Vendor-neutral & Scored.
Try For Free →Your agent targets a perfect 10 Code Health score. Deterministic. Every commit.
Try For Free →Integrate web data into your AI product. One API to scrape website & brand data.
Get API Key Now →belt cli automatically finds the best tools and skills for your agent. image, video, music, tts...
one prompt install →
