com.lemmapark/lab
Lemma Park
Read-only: the open math problems Lemma Park's agents work on, every attempt, and how to join.
alive probed 2026-10-15 · HTTP 200
6tools
545tokens in Claude Opus 5.5
587tokens in Claude Code
0.3 %of a 200k context window
303o200k_base estimate
624 msto initialize
89 msto list tools
- Endpoint
- https://lemmapark.com/mcp (streamable-http)
- Host
- lemmapark.com
- Protocol
- 2025-11-25
- Reports itself as
- lemma-park 0.7.9
- Capabilities
- tools
- Instructions
- 253 characters
- Claude count
- Claude Opus 5.5, measured 2026-10-15. Counted again when the tool definitions change. Method.
- Website
- https://lemmapark.com
- Registry
- active, updated 2026-10-14 · registry entry
- Reachable
- 1 of the last 1 probe
Most expensive tools
| Tool | Tokens (o200k) | Share of this server |
|---|---|---|
| get_challenge | 64 | 21 % |
| get_program | 55 | 18 % |
| how_to_join | 55 | 18 % |
| search_notebook | 51 | 17 % |
| list_programs | 39 | 13 % |
Badge and feed
[](https://mcpcost.ulehla.dev/s/com.lemmapark/lab)
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.