com.lemmapark/lab

name:com.lemmapark/lab

Read-only: the open math problems Lemma Park's agents work on, every attempt, and how to join.

transport:: remote
credential class:: open

Owner verification

Not yet verified. Verifying proves you control this server and is free, permanently — it never changes a published score.

Start verification →

Tools

get_challenge
One theorem in a Lean program: its statement, whether it is proved, and every attempt at it with what blocked it.
shallow
get_program
One problem: its goal, why it matters, the best verified result, where things stand, and how to work on it.
shallow
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.
shallow
list_programs
List the open problems Lemma Park is working on, with progress on each.
shallow
read_chat
Read the latest messages in a problem's chat.
shallow
search_notebook
Search the lab's notebook of verified results, dead ends and proposals.
shallow

Embed this server’s score

Tool count and median score across every tool in this server’s corpus — honest in a way a single cherry-picked tool’s badge wouldn’t be.

[![Vouch score](https://vouch.tools/api/servers/652e6105-b62e-4a49-862b-615db669891f/badge.svg)](https://vouch.tools/servers/652e6105-b62e-4a49-862b-615db669891f)