Lemma Park MCP server

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

Category: Data

● Online, checked 43 min ago · 511 ms

Source: official MCP Registry entry com.lemmapark/lab

Direct MCP URL and setup

CLAUDE CODE

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

CURSOR / VS CODE (mcp.json)

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