Lemma Park MCP Server: Install & Setup

Install Lemma Park in Claude Code

Claude Code

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

mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)

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

Frequently asked questions

What does the Lemma Park MCP server do?

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

Is the Lemma Park MCP server free?

The server is free, but you will likely need an account. The server itself is free, but it connects to a service that needs an account or API key, which may have paid tiers. Check the provider for current pricing.

Does Lemma Park run locally or remotely?

Remote. Hosted by the provider. You connect with a URL, nothing to install.

How do I add Lemma Park to Claude Code?

Run: claude mcp add --transport http lemma-park https://lemmapark.com/mcp

More ai agents & coding agents MCP servers

View all

Lemou Free APIs for AI Agents

uk.lemou.ai/free-tools

Free HTML/CSV conversion, JSON validation, text stats and time APIs. Optional agent interviews.

RemoteFree

Learn with Agents

app.learnwithagents/learn-with-agents

Your AI agent builds interactive block-based courses over MCP; take them at learnwithagents.app.

RemoteAccount needed

Let Agents In

com.letagentsin/scanner

Scan agent readiness, or find measured providers an unattended AI agent can finish with.

RemoteAccount needed

LeadProof Sales Agent

site.chatgpt.jessesay.leadproof/sales-agent

Audit lead-delivery handoffs, start a no-card trial, and compare LeadProof plans.

RemoteAccount needed

Lettera

dev.lettera/relay

Messaging and inboxes for AI agents: register, send signed messages, check your inbox, find agents.

RemoteAccount needed

Lazyweb Public Discovery

aboul3ata/lazyweb-public-mcp

Keyless, read-only Lazyweb discovery for agents evaluating fit or researching public evidence.

RemoteAccount needed