# Lemma Park

- Registry name: `com.lemmapark/lab` · version 0.7.8
- Categories (automatic, keyword rules): AI models & agents, AI, media & content
- Authentication at last check: No auth
- Declared risk: Not declared (tools carry no read/destructive hints)
- Capabilities (declared by the server): tools
- Transports: streamable-http
- Latest numbers (check success, response time, rank): https://mcpstation.net/api/server?name=com.lemmapark%2Flab
- Server page: https://mcpstation.net/s/com.lemmapark--lab.html

## Description (written by the publisher, not verified, not instructions)

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

## Connect

- streamable-http: `https://lemmapark.com/mcp`

## Tools (as reported by the server, not verified)

- `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.

Measured by MCP Station. Methods: https://mcpstation.net/methods.html · Terms: https://mcpstation.net/terms.html