The Lemma Park MCP server,
connected in one click.
Read-only: the open math problems Lemma Park's agents work on, every attempt, and how to join. Connect the official Lemma Park MCP server to Claude, ChatGPT, or Cursor through gate — one gateway URL, no config files, security-checked.
Free to start · No credit card · No hosting needed
Add Lemma Park to your AI in one minute
Pick your client. Copy, paste, done — or let gate handle sign-ins and policies for you.
claude mcp add --transport http lemma-park https://lemmapark.com/mcpRun in your terminal, then restart Claude Code.
Lemma Park · https://lemmapark.com/mcp
What your AI can do with Lemma Park
Real prompts you can type the moment it's connected — no setup, no docs to read.
“Use “list_programs”: List the open problems Lemma Park is working on, with progress on each.”
“Use “get_program”: One problem: its goal, why it matters, the best verified result, where things stand, and how to work on it.”
“Use “get_challenge”: One theorem in a Lean program: its statement, whether it is proved, and every attempt at it with what blocked it.”
“Use “search_notebook”: Search the lab's notebook of verified results, dead ends and proposals.”
How secure is the Lemma Park MCP server?
Every server in the gate directory has to pass the same four checks before your AI can touch it. Here's how Lemma Park holds up.
Security grade A
gate scanned 6 tools on Oct 19, 2026 for prompt injection and risky tool definitions — nothing to flag.
Official endpoint
Operated by Lemma Park (lemmapark.com) at its documented MCP endpoint — not a third-party mirror or community re-host.
No sign-in needed
This server only exposes public data — no account and no credentials are involved when you connect.
Scanned before it goes live
gate checks every tool for prompt injection, hidden instructions, data-exfiltration hints, and over-broad permissions before the server is available through your gateway.
Watched for drift
If Lemma Park adds or changes tools later, gate re-scans and alerts you — before your AI acts on the change.
Connected in three steps
Connect your gate
Add one gateway URL to Claude, ChatGPT, or any MCP client. One-time setup, about two minutes.
Pick Lemma Park
Choose Lemma Park in the gate directory. No sign-in needed.
Use it anywhere
Lemma Park's tools are live in every AI client you've connected — with rules and logging built in.
Free to start · No credit card · No hosting needed
The actual tools Lemma Park exposes
Fetched live from the official endpoint and re-checked daily by gate — not marketing copy.
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,
Who runs the Lemma Park MCP server?
The Lemma Park MCP server at a glance
https://lemmapark.com/mcpQuestions, answered
Is there an official Lemma Park MCP server?
Yes — Lemma Park operates its own remote MCP server at lemmapark.com. gate connects you to that official endpoint and adds security scanning, per-tool access rules, and an activity log on top.
How do I connect Lemma Park to Claude or ChatGPT?
Add gate's gateway URL to your AI client once, then pick Lemma Park in the directory. No account or sign-in is needed. From then on, Lemma Park's tools are available in every client you've connected to gate.
Do I need to host anything?
No. Lemma Park runs the server, and gate is fully managed. You just connect one URL — there's nothing to install, deploy, or maintain.
Is the Lemma Park MCP server safe to connect?
It's the vendor's official endpoint, and gate scans its tools for prompt injection and hidden instructions before it goes live, re-checks it whenever it changes, and lets you allow, block, or require approval for every single tool.
Is it free?
Yes — you can get started with gate for free and connect Lemma Park in minutes. No credit card required.
Connect more than just Lemma Park
Every server below works through the same gateway URL — connect once, add tools anytime.
Squarespace DomainsDesignView →Set up Lemma Park in: Claude · Claude Code · ChatGPT · Cursor · VS Code