Lemma Park

Reliability

Status and outage history · Atom feed · Watch with other listings

How to connect

Add it to any MCP client that supports remote servers.

{
  "mcpServers": {
    "lemma-park": {
      "type": "http",
      "url": "https://lemmapark.com/mcp"
    }
  }
}

6 tools

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

Security scan

Recent checks