How do I install Lemma Park?

Pick a client above and copy the generated config. Cursor and VS Code also have a deep link when the server can run locally or remotely.

Is Lemma Park official?

No. Registry-listed is not the same as vendor-official. Read the methodology for the difference.

This listing scores 52 (Fair). The formula is published on the methodology page.

Lemma Park MCP Server | MCPpedia

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

RegistryRemote

52Fair

~/Library/Application Support/Claude/claude_desktop_config.json

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

This server does not declare environment variables.

Tools show up when the registry metadata or the repository README lists them. GitHub enrichment fills this in when a token is configured.

83Excellent

Parse Korean documents (HWP, HWPX, PDF, XLSX, DOCX, PPTX) to Markdown; fill forms, diff, render.

Registrychrisryugj2.5K stars44.2K/wk

75Good

Google PageSpeed Insights and CrUX: six workflow tools for web performance.