이 MCP로 할 수 있는 일
Compiles natural-language policies into formal SMT guardrails, checks actions and logic, and produces verifiable proofs.
기능
도구
14
도구
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 satisfies every rule. Returns SAT (allowed) or UNSAT (blocked) with extracted values and a cryptographic ZK proof that the check was performed correctly. Cannot be jailbroken. 1 credit ($0.01). Requires api_key. Tip: end the action with an explicit claim like 'I assert this complies with the policy' for best extraction.
입력 스키마
{'type': 'object', 'required': ['policy_id', 'action', 'api_key'], 'properties': {'action': {'type': 'string', 'description': 'The agent action to verify against the policy (max 2000 chars)'}, 'api_key': {'type': 'string', 'description': 'Your ICME API key'}, 'policy_id': {'type': 'string', 'format': 'uuid', 'description': 'Policy ID from make_rules'}}}
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 with a wallet can verify actions on the fly. Returns SAT (allowed) or UNSAT (blocked) with extracted values and optional ZK proof.
입력 스키마
{'type': 'object', 'required': ['policy_id', 'action'], 'properties': {'action': {'type': 'string', 'description': 'The agent action to verify against the policy (max 2000 chars)'}, 'policy_id': {'type': 'string', 'format': 'uuid', 'description': 'Policy ID from make_rules'}}}
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 of thought, then uses a Z3 SAT solver to mathematically prove whether they contradict each other. This is formal verification, not an LLM second-guessing itself. Returns CONSISTENT, CONTRADICTION, or UNKNOWN with the extracted claims.
입력 스키마
{'type': 'object', 'required': ['reasoning'], 'properties': {'show_smt': {'type': 'boolean', 'description': 'Include the generated SMT-LIB2 formula in the response for inspection (default: false)'}, 'reasoning': {'type': 'string', 'description': 'The reasoning, plan, or chain of thought to check. Be specific — include numbers, conditions, and constraints for the best results (max 2000 chars)'}}}
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 matched. If should_check is true, run check_action. If false, the action is unrelated to your policy — skip the paid check. No credits charged. Requires api_key.
입력 스키마
{'type': 'object', 'required': ['policy_id', 'action', 'api_key'], 'properties': {'action': {'type': 'string', 'description': 'The agent action to screen (max 2000 chars)'}, 'api_key': {'type': 'string', 'description': 'Your ICME API key'}, 'policy_id': {'type': 'string', 'format': 'uuid', 'description': 'Policy ID from make_rules'}, 'threshold': {'type': 'number', 'description': 'Relevance threshold (0.0 to 1.0). Default 0.0 — any match triggers should_check. Optional.'}}}
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 only once. Use create_account_card instead if paying by credit card.
입력 스키마
{'type': 'object', 'required': ['username'], 'properties': {'username': {'type': 'string', 'pattern': '^[a-zA-Z0-9_-]{1,32}$', 'description': 'Unique username (1-32 chars, alphanumeric + hyphens/underscores)'}}}
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_session with the session_id to retrieve your API key.
입력 스키마
{'type': 'object', 'required': ['username'], 'properties': {'username': {'type': 'string', 'description': 'Unique username (1-32 chars, alphanumeric + hyphens/underscores)'}}}
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 before deploying it. Requires api_key.
입력 스키마
{'type': 'object', 'required': ['policy_id', 'api_key'], 'properties': {'api_key': {'type': 'string', 'description': 'Your ICME API key'}, 'policy_id': {'type': 'string', 'format': 'uuid', 'description': 'Policy ID from make_rules'}}}
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 (SMT-LIB) that a mathematical solver enforces. No prompt engineering. No LLM judges. The solver either proves an action complies or it doesn't. Returns a policy_id and test scenarios for review. Costs 300 credits. Requires api_key.
입력 스키마
{'type': 'object', 'required': ['policy', 'api_key'], 'properties': {'policy': {'type': 'string', 'description': "Your policy in plain English, e.g. 'No action may access user data without explicit consent. External API calls require approval above $100.' Up to 50 rules."}, 'api_key': {'type': 'string', 'description': 'Your ICME API key (from create_account or create_account_card)'}}}
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 top_up_card once the user has paid.
입력 스키마
{'type': 'object', 'required': ['session_id'], 'properties': {'session_id': {'type': 'string', 'description': 'The session_id returned by create_account_card or top_up_card'}}}
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 report or ZK proof. Same formal verification under the hood, just a minimal response. 1 credit. Requires api_key.
입력 스키마
{'type': 'object', 'required': ['policy_id', 'action', 'api_key'], 'properties': {'action': {'type': 'string', 'description': 'The agent action to check (max 2000 chars)'}, 'api_key': {'type': 'string', 'description': 'Your ICME API key'}, 'policy_id': {'type': 'string', 'format': 'uuid', 'description': 'Policy ID from make_rules'}}}
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 policy in production. Requires api_key.
입력 스키마
{'type': 'object', 'required': ['policy_id', 'api_key'], 'properties': {'api_key': {'type': 'string', 'description': 'Your ICME API key'}, 'policy_id': {'type': 'string', 'format': 'uuid', 'description': 'Policy ID to test'}}}
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.
입력 스키마
{'type': 'object', 'required': ['api_key'], 'properties': {'api_key': {'type': 'string', 'description': 'Your ICME 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%), $100 = 12,000 (+20%). Credits never expire. Requires api_key.
입력 스키마
{'type': 'object', 'required': ['amount_usd', 'api_key'], 'properties': {'api_key': {'type': 'string', 'description': 'Your ICME API key'}, 'amount_usd': {'type': 'integer', 'description': 'Top-up amount in USD: 5, 10, 25, 50, or 100'}}}
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 monitoring agent can verify in under one second. No additional cost. Wait a few minutes after the check for the proof to be generated. Single-use per proof.
입력 스키마
{'type': 'object', 'required': ['proof_id'], 'properties': {'proof_id': {'type': 'string', 'format': 'uuid', 'description': 'The proof_id returned by a prior check_action or check_action_paid call'}}}
기록
최근 도구 변경
추가됨
poll_session
2026년 9월 17일 12:53 PM
추가됨
top_up_card
2026년 9월 17일 12:53 PM
추가됨
top_up
2026년 9월 17일 12:53 PM
추가됨
create_account_card
2026년 9월 17일 12:53 PM
추가됨
create_account
2026년 9월 17일 12:53 PM
추가됨
run_tests
2026년 9월 17일 12:53 PM
추가됨
get_scenarios
2026년 9월 17일 12:53 PM
추가됨
verify_proof
2026년 9월 17일 12:53 PM
추가됨
quick_check
2026년 9월 17일 12:53 PM
추가됨
check_action_paid
2026년 9월 17일 12:53 PM
추가됨
check_action
2026년 9월 17일 12:53 PM
추가됨
make_rules
2026년 9월 17일 12:53 PM
추가됨
check_relevance
2026년 9월 17일 12:53 PM
추가됨
check_logic
2026년 9월 17일 12:53 PM
탐색
유사한 MCP 서버
hyperion
com.thetempleofdoom.hyperion/hyperion
Acts as a paid MCP tool marketplace and utility gateway with server discovery, HTTP and JavaScript tools, research, data conversi…
Vee3
io.github.Vee3io/vee3
Manages Clerk authentication infrastructure, including users, organizations, domains, sessions, tokens, OAuth, SSO, machines, per…
IA-QA — 130+ QA & Dev Tools for AI Agents
io.github.JcJamet/ia-qa-toolbox
Provides deterministic QA, evaluation, testing, code analysis, prompt and RAG checks, model comparison, and web security diagnost…
validoria-mcp
com.validoria/validoria-mcp
Runs continuous website, API, and webshop tests covering security, SEO, performance, accessibility, browser journeys, and inciden…
HubVibe: Pay-per-Call Tools for AI Agents: Web Search, Email Verify, KYC, Stocks, Crypto, News, Data
io.github.Its-fortunatefolly/hubvibe
Offers paid utilities for web audits, HTTP fetching and extraction, BigQuery analysis, LLM processing, code execution, blockchain…
developer-tools
net.programmes/developer-tools
Provides general-purpose developer utilities for encoding, hashing, encryption, JSON, HTML, CSS, networking, and related data tra…
Qiniso
io.github.qinisolabs/qiniso
Provides deterministic formatting, parsing, holiday and tax lookups, address handling, and checksum or structure validation for i…
ContrastAPI
com.contrastcyber/api
Provides security research and assessment tools covering CVEs, IOCs, dependencies, secrets, injection risks, HTTP headers, domain…