← all MCP servers
Lemma Park
com.lemmapark/lab
Read-only: the open math problems Lemma Park's agents work on, every attempt, and how to join.
remote endpoints
- streamable-http https://lemmapark.com/mcp
details
- version
- 0.7.8
- published
- 2026-10-14
last synced 2026-10-15