io.github.lemmaoracle/mcp
@lemmaoracle/mcp
Verifiable provenance for AI agents — ZK proofs over confidential documents, no plaintext exposure.
alive probed 2026-10-05 · HTTP 200
5tools
2.3ktokens in Claude Opus 5.5
2.3ktokens in Claude Code
1.1 %of a 200k context window
1.3ko200k_base estimate
610 msto initialize
40 msto list tools
- Endpoint
- https://mcp.lemma.workers.dev/mcp (streamable-http)
- Host
- mcp.lemma.workers.dev
- Protocol
- 2025-11-25
- Reports itself as
- @lemmaoracle/mcp 0.0.23
- Capabilities
- tools
- Instructions
- none
- Claude count
- Claude Opus 5.5, measured 2026-10-05. Counted again when the tool definitions change. Method.
- Repository
- https://github.com/lemmaoracle/lemma
- Website
- https://lemma.frame00.com
- Registry
- active, updated 2026-05-18 · registry entry
- Reachable
- 6 of the last 6 probes
Most expensive tools
| Tool | Tokens (o200k) | Share of this server |
|---|---|---|
| lemma_query_verified_attributes | 436 | 34 % |
| lemma_get_proof_status | 243 | 19 % |
| lemma_get_circuit | 242 | 19 % |
| lemma_get_generator | 208 | 16 % |
| lemma_get_schema | 171 | 13 % |
History
We add a row when the result changes. A server with no change keeps its last row.
| Probed | Result | Init | Tools | Claude | o200k |
|---|---|---|---|---|---|
| 2026-10-05 14:55 | alive | 610 ms | 5 | 2.3k | 1.3k |
| 2026-10-05 00:37 | alive | 473 ms | 5 | 1.3k | |
| 2026-10-04 10:05 | alive | 906 ms | 5 | 1.3k | |
| 2026-10-04 07:59 | alive | 1.2 s | 5 | 1.3k | |
| 2026-10-03 20:38 | alive | 887 ms | 5 | 1.3k | |
| 2026-10-03 17:54 | alive | 592 ms | 5 | 1.3k |
Badge and feed
[](https://mcpcost.ulehla.dev/s/io.github.lemmaoracle/mcp)
An entry for every probe that changed the result, the tool count or the token cost: Atom feed. Add it to a feed reader or a Slack RSS app to hear when the server stops answering or its tool set grows.