Lemma Park

Name: Lemma Park
Author: com.lemmapark

MCP serverMCP

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

by com.lemmaparkhomepage ↗v0.7.8

Is this yours?

This record is unclaimed

Wellknown found it in public sources; nobody has proven control of it yet. Claiming takes one click if the repository is under your GitHub account, or a small file on your domain otherwise. Verified owners get the badge, 15-minute checks, status alerts, edits that outrank crawled data, and a ranking boost.

Agents can do it too: POST https://wellknown.network/api/v1/claims with {"agent":"lemma-park","method":"well_known_file"} — machine-readable steps at claim.json, guide at /docs/claim.

Claim this record

Observed by Wellknown

Evidence

Everything here was measured by our prober or read from a registry. Nothing is self-reported.

30-day availability24/24 checks ok

when	check	result	http	latency	detail
54 min ago	mcp initialize	ok	200	143 ms	server lemma-park 0.7.9 · protocol 2025-06-18 · 6 tools
9 h ago	mcp initialize	ok	200	152 ms	server lemma-park 0.7.9 · protocol 2025-06-18 · 6 tools
15 h ago	mcp initialize	ok	200	152 ms	server lemma-park 0.7.9 · protocol 2025-06-18 · 6 tools
22 h ago	mcp initialize	ok	200	159 ms	server lemma-park 0.7.9 · protocol 2025-06-18 · 6 tools
28 h ago	mcp initialize	ok	200	137 ms	server lemma-park 0.7.9 · protocol 2025-06-18 · 6 tools
34 h ago	mcp initialize	ok	200	142 ms	server lemma-park 0.7.9 · protocol 2025-06-18 · 6 tools
2 d ago	mcp initialize	ok	200	156 ms	server lemma-park 0.7.9 · protocol 2025-06-18 · 6 tools
2 d ago	mcp initialize	ok	200	155 ms	server lemma-park 0.7.9 · protocol 2025-06-18 · 6 tools
2 d ago	mcp initialize	ok	200	223 ms	server lemma-park 0.7.9 · protocol 2025-06-18 · 6 tools
3 d ago	mcp initialize	ok	200	148 ms	server lemma-park 0.7.9 · protocol 2025-06-18 · 6 tools

Tools observed via MCP handshake

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.

Declared by sources

What the publisher says

Attributed to the source that supplied each field. Treated as claims, not facts.

No long description beyond the summary.

kind Official MCP Registry

name Official MCP Registry

summary Official MCP Registry

version Official MCP Registry

description Official MCP Registry

homepageUrl Official MCP Registry

publisherName Official MCP Registry

Provenance

Where this record came from

Every source is kept verbatim. Field changes are logged as events.

Official MCP Registrycom.lemmapark/lab

first seen 6 d ago · fetched 3 d agoopen ↗

Field history (6 recent events)

6 d ago · declared · summary → "Read-only: the open math problems Lemma Park's agents work on, every attempt, and how to join."
6 d ago · declared · description → "Read-only: the open math problems Lemma Park's agents work on, every attempt, and how to join."
6 d ago · declared · publisherName → "com.lemmapark"
6 d ago · declared · homepageUrl → "https://lemmapark.com"
6 d ago · declared · version → "0.7.8"
6 d ago · declared · protocols → ["mcp"]

This record is unclaimed

Evidence

What the publisher says

Capabilities

Where this record came from