Delisted server, State of MCP census
TinyZKP
io.github.logannye/tinyzkp
Hosted MCP server for STARK proof receipts. Agents mint receipts and verify proofs for free.
This server is no longer in the registry
It was present from the 2026-07 census, last seen in 2026-07-22, and absent when we ran the 2026-08-03 census. The registry publishes no removal date, so 2026-08-03 is when we observed the absence, not when it happened.
Everything below is the last observation, made on 2026-07-22. It is kept because a server leaving the registry is a dated fact, and it is not a claim about this server today. The page stays at this URL so a link to it never breaks.
- remote_404
Checks
The exact rows akashi check io.github.logannye/tinyzkp prints, from the 2026-09-13 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 |
| remote reachable | fail | 404 (endpoint gone) |
| at least one live entrypoint | pass | 1 alive |
| license present | pass | MIT |
Spec 2026-07-28 readiness
No runtime readiness verdict: this server has no keylessly reachable conformant MCP endpoint (package-only, auth-gated, or down at census time), so its behavior against the 2026-07-28 revision cannot be measured without credentials. Absence of evidence is recorded as absence, never guessed. Ecosystem numbers: the readiness report.
Evidence
Packages
No packages declared.
Remote endpoints
- https://mcp.tinyzkp.com
streamable-http · not_found· HTTP 404
server.json
validagainst its declared schema
Not among the 31538 servers in the 2026-09-13 State of MCP census: 25411 healthy (80.6%), 4667 degraded (14.8%), 1184 dead (3.8%), 276 unknown (0.9%).
Verify it yourself
This page is a static read of one dated probe, the last one we made. The command still runs, but the registry no longer lists this server, so expect it to resolve nothing: that failure is the finding, and it is what the record above preserves.
$ akashi check io.github.logannye/tinyzkpInstall Akashi - single Go binary, zero keys, MIT licensed.
Prefer the data? This page has a machine-readable record carrying the same checks, verdict and census date, under the same methodology.
Is this your server?
If you re-publish it to the registry it will reappear in the next census and this page becomes a health report again. See every server that has left the registry.
Open data, CC BY 4.0. How this census works - denominator, tiers, and what each check does.