MCP server health, State of MCP census
Mcp
io.github.lemmaoracle/mcp
Verifiable provenance for AI agents — ZK proofs over confidential documents, no plaintext exposure.
Checks
The exact rows akashi check io.github.lemmaoracle/mcp prints, from the 2026-07-02 census.
| Check | Status | Detail |
|---|---|---|
| registry status | pass | active |
| server.json valid | pass | validates against its declared JSON Schema |
| repo reachable | pass | exists |
| repo freshness | pass | pushed 0d ago |
| package npm | pass | published (0.0.21) |
| remote reachable | pass | HTTP 200 via initialize |
| MCP conformance | pass | initialize handshake ok |
| tools/list | pass | 5 tools: lemma_query_verified_attributes, lemma_get_schema, lemma_get_circuit, lemma_get_generator, lemma_get_proof_status |
| at least one live entrypoint | pass | 3 alive |
| license present | warn | none detected |
Evidence
Packages
- npm @lemmaoracle/mcp · published(0.0.21)
Remote endpoints
- https://mcp.lemma.workers.dev/mcp
streamable-http · reachable· HTTP 200· initialize_ok
5 tools: lemma_query_verified_attributes, lemma_get_schema, lemma_get_circuit, lemma_get_generator, lemma_get_proof_status
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.lemmaoracle/mcpInstall 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.lemmaoracle/mcp --badge.
Open data, CC BY 4.0. How this census works - denominator, tiers, and what each check does.