io.github.lemmaoracle/mcp
@lemmaoracle/mcp
io.github.lemmaoracle/mcp costs 1 300 tokens of context per session. It has 5 tool definitions. That is 0.7 % of a 200k window. Measured 2026-10-03.
Verifiable provenance for AI agents — ZK proofs over confidential documents, no plaintext exposure.
alive probed 2026-10-03 · HTTP 200
5tools
1.3ktokens for the tool definitions
0.7 %of a 200k context window
887 msto initialize
39 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
- Repository
- https://github.com/lemmaoracle/lemma
- Website
- https://lemma.frame00.com
- Registry
- active, updated 2026-05-18 · registry entry
- Reachable
- 2 of the last 2 probes
Most expensive tools
| Tool | Tokens | 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 | Tokens |
|---|---|---|---|---|
| 2026-10-03 20:38 | alive | 887 ms | 5 | 1.3k |
| 2026-10-03 17:54 | alive | 592 ms | 5 | 1.3k |
Badge
[](https://mcp-pulse.ulehla.dev/s/io.github.lemmaoracle/mcp)