Is the Wyattbenno777 Icme Preflight MCP server down?

mcp-registry/io.github.wyattbenno777/icme-preflight · v1.0.0

As of 2026-10-21 04:46 UTC, the Wyattbenno777 Icme Preflight MCP server is up with a Glimind reliability score of 93/100 (grade A). Over the last 30 days it answered 100% of Glimind's liveness checks. It had 6 outages in 90 days, with a median recovery of 2 minutes.

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

claude mcp add --transport http wyattbenno777-icme-preflight-mcp-server https://api.icme.io/mcp

{
  "mcpServers": {
    "wyattbenno777-icme-preflight-mcp-server": {
      "type": "http",
      "url": "https://api.icme.io/mcp"
    }
  }
}

Third-party server, listed as discovered. Review its source before installing.

Agent-readiness: C (76/100)

What to fix (5)

Auto-fix: 9 corrected tool definitions

Paste-ready definitions with the problems above fixed. Changes marked verify need a human look. All of them as JSON: /v1/readiness/mcp-registry%2Fio.github.wyattbenno777%2Ficme-preflight/fixes

{
  "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 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.",
  "inputSchema": {
    "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"
      }
    }
  },
  "annotations": {
    "readOnlyHint": true
  }
}

{
  "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 with a wallet can verify actions on the fly. Returns SAT (allowed) or UNSAT (blocked) with extracted values and optional ZK proof.",
  "inputSchema": {
    "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"
      }
    }
  },
  "annotations": {
    "readOnlyHint": true
  }
}

{
  "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 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.",
  "inputSchema": {
    "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)"
      }
    }
  },
  "annotations": {
    "readOnlyHint": true
  }
}

Get alerted

Get an email or webhook when this server's readiness drops by 10+ points, tool-poisoning text appears, or a tool breaks:

curl -X POST https://glimind.com/v1/subscriptions -H 'content-type: application/json' -d '{"tools":["mcp-registry/io.github.wyattbenno777/icme-preflight"],"email":"[email protected]"}'

Agents: watch_tool({"toolId": "mcp-registry/io.github.wyattbenno777/icme-preflight"}) over MCP.

Passed

• Every tool has a well-formed, typed input schema.
• Every tool and parameter is described.
• No tool-poisoning patterns (hidden characters, instruction overrides, concealment, secret access, tool shadowing).
• Compact tool list (~2,293 tokens).
• Tool names are unique and portable across clients.
• 99.98% uptime over 30 days.
• No breaking contract changes in 30 days.

Largest tool definitions

• check_action ~240 tokens
• check_logic ~231 tokens
• check_relevance ~231 tokens
• make_rules ~227 tokens
• quick_check ~177 tokens

Static checks of the advertised tools/list (schema, descriptions, annotations, tool-poisoning patterns, names, size) plus observed protocol, uptime, latency and contract changes. Read-only: no tool is ever called. Weights: schema 15, docs 20, safety 15, efficiency 15, compatibility 15, protocol 5, reliability 10, stability 5. Token counts are estimates (~3.6 characters per token).

Operator? Fix these, then re-check live. Embed the readiness badge:

[![MCP agent-readiness](https://glimind.com/v1/readiness/badge/mcp-registry%2Fio.github.wyattbenno777%2Ficme-preflight.svg)](https://glimind.com/server/mcp-registry%2Fio.github.wyattbenno777%2Ficme-preflight?ref=badge)

<a href="https://glimind.com/server/mcp-registry%2Fio.github.wyattbenno777%2Ficme-preflight?ref=badge"><img src="https://glimind.com/v1/readiness/badge/mcp-registry%2Fio.github.wyattbenno777%2Ficme-preflight.svg" alt="MCP agent-readiness"></a>

.. image:: https://glimind.com/v1/readiness/badge/mcp-registry%2Fio.github.wyattbenno777%2Ficme-preflight.svg
   :target: https://glimind.com/server/mcp-registry%2Fio.github.wyattbenno777%2Ficme-preflight?ref=badge
   :alt: MCP agent-readiness

Tool-definition log

Glimind records every version of this server's tool definitions in a signed, append-only transparency log. Current manifest sha256:c23e2a1f843da029…, first seen 2026-10-17, included at leaf 13618 of 37,191. Version history · verify what your client received.

Tools (14)

• check_action
• check_action_paid
• check_logic
• check_relevance
• create_account
• create_account_card
• get_scenarios
• make_rules
• poll_session
• quick_check
• run_tests
• top_up
• top_up_card
• verify_proof

Compare: most reliable security servers · most reliable payments servers · most reliable ml servers · most reliable other servers · most reliable finance servers

claude mcp add --transport http glimind https://glimind.com/mcp

{
  "mcpServers": {
    "glimind": {
      "type": "http",
      "url": "https://glimind.com/mcp"
    }
  }
}

FAQ

Is the Wyattbenno777 Icme Preflight MCP server down right now?

As of 2026-10-21 04:46 UTC, the Wyattbenno777 Icme Preflight MCP server is up with a Glimind reliability score of 93/100 (grade A). Over the last 30 days it answered 100% of Glimind's liveness checks. It had 6 outages in 90 days, with a median recovery of 2 minutes.

How many tools does Wyattbenno777 Icme Preflight MCP server provide?

Wyattbenno777 Icme Preflight MCP server advertises 14 tools, including check_action, check_action_paid, check_logic, check_relevance, create_account.

How do I install Wyattbenno777 Icme Preflight MCP server?

Point your MCP client at this streamable-http endpoint: https://api.icme.io/mcp

Is the Wyattbenno777 Icme Preflight MCP server safe to connect to an AI agent?

Glimind scanned all 14 tool definitions for tool-poisoning patterns — hidden or invisible characters, instructions that override the model, concealment from the user, requests to read credential or MCP config files, conversation exfiltration and cross-tool shadowing — and found none. This checks what the server tells the model, not what its code does; review the source before granting access to sensitive data.

Operator of Wyattbenno777 Icme Preflight MCP server?

Status page: 90-day uptime, every outage and how long it lasted.

Claim this listing to get the Verified operator marker, a remediation checklist and owner analytics, or embed the live badge from any of the tool pages above. Maintainers: alerts, deploy attestation and monthly reports.

Status is an automated estimate from Glimind's liveness checks (handshake and tool listing only; no tool is ever called) and may lag or differ from your network. Glimind is not affiliated with this server or its operator. Operator? Request a correction or opt out at https://glimind.com/opt-out.