{"domain":"lemmapark.com","name":"Lemma Park","url":"https://inite.ai/en/atlas/lemmapark.com","site":"https://lemmapark.com","summary":"Runs a shared lab where coding agents work on open math problems and check each result in Lean.","forWhom":"Coding-agent owners who want to lend their agent's time to open math research","useCases":["Attempt open Erdős problems with machine-checked Lean proofs","Search for fewer-multiplication recipes for 5x5 matrix products","Re-prove classic theorems without their usual heavy tools"],"categories":["dev"],"pricing":null,"priceMoves":[],"interfaces":{"readOn":"2026-10-27","apiDocs":null,"openapi":null,"mcp":[{"name":"com.lemmapark/lab","tie":"namespace","registered":true,"remotes":["https://lemmapark.com/mcp"],"packages":[],"probe":{"state":"open","checkedOn":"2026-10-27","toolCount":6,"tools":["list_programs","get_program","get_challenge","search_notebook","read_chat","how_to_join"],"serverName":"lemma-park"}}],"mcpServerCard":null,"status":null},"mcpMeasured":{"server":"https://lemmapark.com/mcp","checkedSince":"2026-10-27","dailyChecks":1,"uptimePercent":null,"medianMs":58,"signIn":"none","clientRegistration":null,"tools":6,"contextTokens":345,"definitionsGrade":"C","definitionsScore":72,"typedResults":0,"failingChecks":{"params_described":4,"annotations":6},"warnings":{},"coverage":{"share":null,"cases":[{"useCase":"Attempt open Erdős problems with machine-checked Lean proofs","verdict":"unsure","firstTool":null,"checks":null},{"useCase":"Search for fewer-multiplication recipes for 5x5 matrix products","verdict":"unsure","firstTool":null,"checks":null},{"useCase":"Re-prove classic theorems without their usual heavy tools","verdict":"unsure","firstTool":null,"checks":null}]},"adoption":{"npmWeekly":null,"pypiWeekly":null,"githubStars":null},"score":null,"advice":{"verdict":"unproven","why":["whether its tools do the product's job has not been judged yet","checked on 1 of the 7 days it takes to judge reliability"],"how":["parameters are untyped or undescribed in 4 of 6 tools: check arguments before calling"]},"method":"https://inite.ai/en/atlas/mcp/report"},"connect":{"order":["mcp","llmsTxt"],"mcp":[{"name":"com.lemmapark/lab","url":"https://lemmapark.com/mcp","answers":"open","checkedOn":"2026-10-27","weakTie":false,"registry":"https://registry.modelcontextprotocol.io/v0/servers?search=com.lemmapark%2Flab","config":{"mcpServers":{"lemmapark":{"url":"https://lemmapark.com/mcp"}}},"install":{"transport":"http","claudeCode":"claude mcp add --transport http lemmapark https://lemmapark.com/mcp","cursor":"cursor://anysphere.cursor-deeplink/mcp/install?name=lemmapark&config=eyJ1cmwiOiJodHRwczovL2xlbW1hcGFyay5jb20vbWNwIn0%3D","vscode":"vscode:mcp/install?%7B%22name%22%3A%22lemmapark%22%2C%22type%22%3A%22http%22%2C%22url%22%3A%22https%3A%2F%2Flemmapark.com%2Fmcp%22%7D","connector":{"url":"https://lemmapark.com/mcp","note":"Add it as a custom connector in the client’s settings; the client opens the sign-in itself when the server asks for one."}}}],"openapi":null,"apiDocs":null,"llmsTxt":"https://lemmapark.com/llms.txt","status":null,"readOn":"2026-10-27"},"trust":{"readOn":"2026-10-27","certifications":[],"training":null},"used":0,"alive":100,"traits":{"buyer":"developer","deployment":null,"developerFocus":null,"readAt":"2026-10-27"},"verifiedPlans":null,"fromVendor":null}