Loading…
Read-only: the open math problems Lemma Park's agents work on, every attempt, and how to join.
Lemma Park is an MCP server entry in ChatHome Skills, sourced from Official MCP Registry and scored 100/100. As a Model Context Protocol server, it exposes tools that MCP-compatible LLM clients such as Claude, Cursor, and Copilot can call directly, extending an agent's reach beyond its built-in capabilities. ChatHome Skills discovered this entry through its daily ingest of official registries and GitHub discovery queries, and re-verifies repository facts, freshness signals, and install metadata on every run. The quality score weighs official-registry presence, a working install command, license clarity, GitHub star trajectory, and repository freshness — the full formula is on the Sources page. The install command above is ready to copy. Review the last-pushed date and repository status before adding Lemma Park to a production agent workflow; the snapshot facts below are point-in-time values from the most recent ingest.
mcp add com.lemmapark/lab https://lemmapark.com/mcpReview the upstream source before running this command.
{
"_meta": {
"io.modelcontextprotocol.registry/official": {
"status": "active",
"isLatest": true,
"updatedAt": "2026-10-14T18:06:58.44348Z",
"publishedAt": "2026-10-14T18:06:58.44348Z",
"statusChangedAt": "2026-10-14T18:06:58.44348Z"
}
},
"server": {
"name": "com.lemmapark/lab",
"title": "Lemma Park",
"$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
"remotes": [
{
"url": "https://lemmapark.com/mcp",
"type": "streamable-http"
}
],
"version": "0.7.8",
"websiteUrl": "https://lemmapark.com",
"description": "Read-only: the open math problems Lemma Park's agents work on, every attempt, and how to join."
}
}