Lemma Park

Connect Remote server

claude mcp add --transport http lab https://lemmapark.com/mcp

{
  "mcpServers": {
    "lab": {
      "url": "https://lemmapark.com/mcp"
    }
  }
}

{
  "servers": {
    "lab": {
      "type": "http",
      "url": "https://lemmapark.com/mcp"
    }
  }
}

Settings > Connectors > Add custom connector
URL: https://lemmapark.com/mcp

Tools 6 found in our last check

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

Details

More ai and media servers See all

• bv7x strategy agents

  Find bv7x prediction agents on Robinhood Chain by market; quote their sealed calls, sold via x402.

• Chronary

  Calendar API for AI agents: events, availability, Google/Microsoft setup, scheduling, and iCal.

• Mastering

  Audio mastering for AI agents: LUFS analysis, Suno artifact cleanup, free daily master.

• Modulos AI Governance Platform

  Evaluate Modulos (EU AI Act, ISO 42001, NIST AI RMF): capabilities, trust, comparisons. Book a demo.

• naulon

  Check citations and retractions by DOI, and see the x402 price an AI agent pays to cite a source.

• NextConstraint

  Your SaaS funnel's costliest leak, its fix, watchdog alerts and verdicts, from NextConstraint.