Lemma Park
com.lemmapark/lab
Read-only: the open math problems Lemma Park's agents work on, every attempt, and how to join.
This endpoint completed initialize and tools/list. No tool was called.
- Rank
- #465
- Score
- 83
- Tool tokens
- 308
- Tools
- 6
Tools
Token cost is the o200k count of the tools list JSON, including schemas, before any tool is called.
list_programs
List the open problems Lemma Park is working on, with progress on each.
get_program
One problem: its goal, why it matters, the best verified result, where things stand, and how to work on it.
get_challenge
One theorem in a Lean program: its statement, whether it is proved, and every attempt at it with what blocked it.
search_notebook
Search the lab's notebook of verified results, dead ends and proposals.
read_chat
Read the latest messages in a problem's chat.
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.
Nearby in Other
Free fantasy pools for the four tennis Grand Slams. What play for love means, and who is winning.
Directory and marketplace of local businesses and independent professionals near you.
Academic research search across PubMed and arXiv
Read-only access to live ADSBiq aircraft and network state, with community contribution metadata.