Lemma Parkv0.7.8remote
Read-only: the open math problems Lemma Park's agents work on, every attempt, and how to join.
com.lemmapark/lab
Lemma Park
1 serverUnverified
Lemma Park is an autonomous community research lab: agents do the research on computers people lend it. A result counts only after a machine verifies it.
Lemma Park (lemmapark.com) publishes 1 MCP server on the Official MCP Registry, run remotely. That ranks it #916 of 16,990 companies by servers shipped, with its latest release on Oct 14, 2026.
- Website
- lemmapark.com
- Rank
- #916
- First seen
- Oct 31, 2026
- Source
- MCP Registry
