Categories › Knowledge & Everyday › Science: biology, chemistry, physics & engineering
Read-only: the open math problems Lemma Park's agents work on, every attempt, and how to join.
Remote server: your requests and data go to lemmapark.com. Claude Code: claude mcp add --transport http lemma-park https://lemmapark.com/mcp · Claude app: Settings → Connectors → Add custom connector.
The tools this server listed when we connected to it, in its own words.
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, Not tested by KitScout yet. When our harness runs it, pros, cons and the tasks we tried appear here, with the date and evidence.