MCP server health, State of MCP census

Icme Preflight

io.github.wyattbenno777/icme-preflight

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

degraded checked 2026-07-02 · 6/7 checks passed · keyless
  • repo_404

Checks

The exact rows akashi check io.github.wyattbenno777/icme-preflight prints, from the 2026-07-02 census.

CheckStatusDetail
registry statuspassactive
server.json validpassvalidates against its declared JSON Schema
repo reachablefail404 (repository gone)
remote reachablepassHTTP 200 via initialize
MCP conformancepassinitialize handshake ok
tools/listpass14 tools: check_logic, check_relevance, make_rules, check_action, check_action_paid, quick_check, verify_proof, get_scenarios, ...
at least one live entrypointpass1 alive

Evidence

Repository

github · missing· HTTP 404

https://github.com/ICME-Lab/smt-ar-base

Packages

No packages declared.

Remote endpoints

  • https://api.icme.io/mcp

    streamable-http · reachable· HTTP 200· initialize_ok

    14 tools: check_logic, check_relevance, make_rules, check_action, check_action_paid, quick_check, verify_proof, get_scenarios, ...

server.json

validagainst its declared schema

One of 14559 servers in the 2026-07-02 State of MCP census: 11582 healthy (79.6%), 2212 degraded (15.2%), 596 dead (4.1%), 169 unknown (1.2%).

Verify it yourself

This page is a static read of one dated probe. Run the same check locally, any time, with no key:

$ akashi check io.github.wyattbenno777/icme-preflight

Install Akashi - single Go binary, zero keys, MIT licensed.

Is this your server?

Claiming a server (an auto-refreshing badge and a verified publisher profile) is coming soon. Until then, embed the verified-on-date badge yourself with akashi check io.github.wyattbenno777/icme-preflight --badge.

Open data, CC BY 4.0. How this census works - denominator, tiers, and what each check does.