mcp-registry/io.github.wyattbenno777/icme-preflight · v1.0.0
As of 2026-10-26 19:13 UTC, the Wyattbenno777 Icme Preflight MCP server is up with a Glimind reliability score of 96/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.
Point your MCP client at this streamable-http endpoint: https://api.icme.io/mcp
14 of 14 tool(s) carry no readOnlyHint/destructiveHint annotations.
Annotate read-only tools with {"readOnlyHint": true}. Agents and gateways can then run them without a confirmation prompt, and route around destructive ones. How to fix →
3 tool(s) look like they change state (create/send/delete/pay…) but declare no destructiveHint.
Set annotations {"readOnlyHint": false, "destructiveHint": true|false, "idempotentHint": …}. Clients use these to ask the user before a side effect and to auto-approve safe reads. How to fix →
Negotiates MCP 2025-03-26. Structured output, tool output schemas and elicitation arrived in 2025-06-18.
Upgrade the MCP SDK and negotiate 2025-06-18 or newer. How to fix →
No tool declares an outputSchema.
Declare outputSchema and return structuredContent (MCP 2025-06-18+). Agents can then parse results without guessing, and chain tools reliably. How to fix →
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 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.
check_action ~240 tokenscheck_logic ~231 tokenscheck_relevance ~231 tokensmake_rules ~227 tokensquick_check ~177 tokensStatic 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:
[](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
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 74,957. Version history · verify what your client received.
Compare: most reliable security servers · most reliable payments servers · most reliable ml servers · most reliable other servers · most reliable finance servers
Glimind tells agents whether a server is up right now and how to call it, then fails over to a live alternative when it isn't.
Claude Code
claude mcp add --transport http glimind https://glimind.com/mcp
Claude Desktop · Windsurf · Cline (mcpServers JSON)
{
"mcpServers": {
"glimind": {
"type": "http",
"url": "https://glimind.com/mcp"
}
}
}
As of 2026-10-26 19:13 UTC, the Wyattbenno777 Icme Preflight MCP server is up with a Glimind reliability score of 96/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.
Wyattbenno777 Icme Preflight MCP server advertises 14 tools, including check_action, check_action_paid, check_logic, check_relevance, create_account.
Point your MCP client at this streamable-http endpoint: https://api.icme.io/mcp
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.
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.