Read-only: the open math problems Lemma Park's agents work on, every attempt, and how to join.
Listed on
First seen 14 Oct 2026. One server, whatever directories list it: each directory listing keeps its own page and history.
1
Directories
Collected by InvokeRank
6
Tools
From an anonymous probe
-
ToolBench grade
Not graded by Arcade
-
GitHub stars
No repository data
Tools
| Tool | Description | Behaviour |
|---|---|---|
| get_challenge | One theorem in a Lean program: its statement, whether it is proved, and every attempt at it with what blocked it. | Not declared |
| get_program | One problem: its goal, why it matters, the best verified result, where things stand, and how to work on it. | Not declared |
| 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. | Not declared |
| list_programs | List the open problems Lemma Park is working on, with progress on each. | Not declared |
| read_chat | Read the latest messages in a problem's chat. | Not declared |
| search_notebook | Search the lab's notebook of verified results, dead ends and proposals. | Not declared |
| Directory | Listing | Tier | First seen |
|---|---|---|---|
| Official MCP Registry | Lemma Park | - | 14 Oct 2026 |