io.github.wyattbenno777/icme-preflight

Est-ce que io.github.wyattbenno777/icme-preflight est sûr ?

Au dernier audit MCP Hub, le serveur MCP « io.github.wyattbenno777/icme-preflight » est classé « Non encore testé ». Référencé dans l'annuaire. Seul le pentest comportemental fait foi, et il n'a pas encore été exécuté sur ce serveur. Le verdict est réévalué en continu ; consultez la fiche pour l'état à jour.

Méthode : MCP Hub analyse la description de chaque outil (couche 1) et, pour le verdict fort, exécute le serveur dans une micro-VM isolée avec leurres et réseau bloqué (couche 2). On publie des noms et des compteurs, jamais le contenu brut renvoyé par un outil.

Les 14 outils

• check_action≈ 223 tokens

  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.

  Paramètres, retour & exemple (3)

  Paramètres

  • action · string · requis
    The agent action to verify against the policy (max 2000 chars)
  • api_key · string · requis
    Your ICME API key
  • policy_id · string · requis
    Policy ID from make_rules

  Exemple d'appel

  {"name": "check_action", "arguments": {"action": "texte", "api_key": "texte", "policy_id": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}]}

• check_action_paid≈ 157 tokens

  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.

  Paramètres, retour & exemple (2)

  Paramètres

  • action · string · requis
    The agent action to verify against the policy (max 2000 chars)
  • policy_id · string · requis
    Policy ID from make_rules

  Exemple d'appel

  {"name": "check_action_paid", "arguments": {"action": "texte", "policy_id": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}]}

• check_logic≈ 212 tokens

  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.

  Paramètres, retour & exemple (2)

  Paramètres

  • show_smt · boolean · optionnel
    Include the generated SMT-LIB2 formula in the response for inspection (default: false)
  • reasoning · string · requis
    The reasoning, plan, or chain of thought to check. Be specific — include numbers, conditions, and constraints for the best results (max 2000 chars)

  Exemple d'appel

  {"name": "check_logic", "arguments": {"reasoning": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}]}

• check_relevance≈ 216 tokens

  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.

  Paramètres, retour & exemple (4)

  Paramètres

  • action · string · requis
    The agent action to screen (max 2000 chars)
  • api_key · string · requis
    Your ICME API key
  • policy_id · string · requis
    Policy ID from make_rules
  • threshold · number · optionnel
    Relevance threshold (0.0 to 1.0). Default 0.0 — any match triggers should_check. Optional.

  Exemple d'appel

  {"name": "check_relevance", "arguments": {"action": "texte", "api_key": "texte", "policy_id": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}]}

• create_account≈ 126 tokens

  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.

  Paramètres, retour & exemple (1)

  Paramètres

  • username · string · requis
    Unique username (1-32 chars, alphanumeric + hyphens/underscores)

  Exemple d'appel

  {"name": "create_account", "arguments": {"username": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}]}

• create_account_card≈ 114 tokens

  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.

  Paramètres, retour & exemple (1)

  Paramètres

  • username · string · requis
    Unique username (1-32 chars, alphanumeric + hyphens/underscores)

  Exemple d'appel

  {"name": "create_account_card", "arguments": {"username": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}]}

• get_scenarios≈ 123 tokens

  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.

  Paramètres, retour & exemple (2)

  Paramètres

  • api_key · string · requis
    Your ICME API key
  • policy_id · string · requis
    Policy ID from make_rules

  Exemple d'appel

  {"name": "get_scenarios", "arguments": {"api_key": "texte", "policy_id": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}]}

• make_rules≈ 209 tokens

  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.

  Paramètres, retour & exemple (2)

  Paramètres

  • policy · string · requis
    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 · string · requis
    Your ICME API key (from create_account or create_account_card)

  Exemple d'appel

  {"name": "make_rules", "arguments": {"policy": "texte", "api_key": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}]}

• poll_session≈ 108 tokens

  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.

  Paramètres, retour & exemple (1)

  Paramètres

  • session_id · string · requis
    The session_id returned by create_account_card or top_up_card

  Exemple d'appel

  {"name": "poll_session", "arguments": {"session_id": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}]}

• quick_check≈ 166 tokens

  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.

  Paramètres, retour & exemple (3)

  Paramètres

  • action · string · requis
    The agent action to check (max 2000 chars)
  • api_key · string · requis
    Your ICME API key
  • policy_id · string · requis
    Policy ID from make_rules

  Exemple d'appel

  {"name": "quick_check", "arguments": {"action": "texte", "api_key": "texte", "policy_id": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}]}

• run_tests≈ 120 tokens

  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.

  Paramètres, retour & exemple (2)

  Paramètres

  • api_key · string · requis
    Your ICME API key
  • policy_id · string · requis
    Policy ID to test

  Exemple d'appel

  {"name": "run_tests", "arguments": {"api_key": "texte", "policy_id": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}]}

• top_up≈ 85 tokens

  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.

  Paramètres, retour & exemple (1)

  Paramètres

  • api_key · string · requis
    Your ICME API key

  Exemple d'appel

  {"name": "top_up", "arguments": {"api_key": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}]}

• top_up_card≈ 128 tokens

  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.

  Paramètres, retour & exemple (2)

  Paramètres

  • api_key · string · requis
    Your ICME API key
  • amount_usd · integer · requis
    Top-up amount in USD: 5, 10, 25, 50, or 100

  Exemple d'appel

  {"name": "top_up_card", "arguments": {"api_key": "texte", "amount_usd": 1}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}]}

• verify_proof≈ 144 tokens

  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.

  Paramètres, retour & exemple (1)

  Paramètres

  • proof_id · string · requis
    The proof_id returned by a prior check_action or check_action_paid call

  Exemple d'appel

  {"name": "verify_proof", "arguments": {"proof_id": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}]}

C'est votre serveur ?

Revendiquez-le sur l'espace créateur (preuve GitHub, domaine ou npm) pour afficher le badge « propriétaire vérifié » et lancer un pentest comportemental à la demande afin d'obtenir le badge « Vérifié ».

Créer un compte / revendiquer →

Source

https://api.icme.io/mcp