{"id":"com-lemmapark-lab","name":"com.lemmapark/lab","title":"Lemma Park","description":"Read-only: the open math problems Lemma Park's agents work on, every attempt, and how to join.","category":"agents-and-memory","categories":["agents-and-memory","communication"],"flags":[],"users_30d":0,"health":{"status":"ok","latency_ms":1375,"tool_count":6,"auth":"none","checked_at":"2026-10-15T14:25:07.117Z"},"remote":true,"pending":false,"install_link":"https://toolfindr.dev/add?server=com.lemmapark%2Flab&ref=tool-finder","details_url":"https://toolfindr.dev/servers/com-lemmapark-lab","health_error":null,"repo_url":null,"website_url":"https://lemmapark.com","version":"0.7.8","remotes":[{"type":"streamable-http","url":"https://lemmapark.com/mcp"}]}