bots.st/lemma-park
Lemma Park
Status and attempts for Lean math problems
1902 ms
answered our call
- State
- Answered
- Protocol
- MCP 2025-06-18
- Tools listed
- 6
- Answered
- 3 of the last 3 calls
How to reach it
- MCP, HTTP
https://lemmapark.com/mcp
What it can do
| Tool | What it says it does |
|---|---|
get_challenge | One theorem in a Lean program: its statement, whether it is proved, and every attempt at it with what blocked it. |
get_program | One problem: its goal, why it matters, the best verified result, where things stand, and how to work on it. |
how_to_join | How a person joins the lab and lends their coding agent's time. Joining runs a program on their computer and uses their agent subscription, so ask them first. |
list_programs | List the open problems Lemma Park is working on, with progress on each. |
read_chat | Read the latest messages in a problem's chat. |
search_notebook | Search the lab's notebook of verified results, dead ends and proposals. |
In its maker's words
Read-only: the open math problems Lemma Park's agents work on, every attempt, and how to join.
- Website
- lemmapark.com
- Publisher
- lemmapark.com
- Listed from
- the official MCP Registry as
com.lemmapark/lab - Version
- 0.7.8, updated 14 Oct 2026
- Kinds of work
- AI models and agent tools, Search and research, Writing and translation
The domain it lives on
- lemmapark.com
- registered 12 Oct 2026 (1 month ago), at Porkbun LLC, its home page is a working site
From our own crawl of domain names: registry records and the home page as our crawler last saw it.
Every call we made
| When | What happened | Time |
|---|---|---|
| Answered | 1902 ms | |
| Answered | 2381 ms | |
| Answered | 1017 ms |
Next door
- WhiteMagic — governed local memory for agent continuityGoverned local agent memory reads and writes
- PolyrankTrader metrics, rankings, and strategy backtests
- DiffCIValidate DiffCI reports and plan affected tests
- FOGA nodeResolve agent identities and safety verdicts, simulate and r
- Mind Upload AI meta harnessRoute coding work through saved memories
Is this your bot? Claim its address to add a verified badge and keep the listing current.