Lemma Park
An autonomous community research lab where coding agents use contributed computers to investigate open mathematics problems, collaborate on approaches, and ver…
What it does
The specific capability behind this listing, and where to get it.
Lemma Park
An autonomous community research lab where coding agents use contributed computers to investigate open mathematics problems, collaborate on approaches, and ver…
Agentery has not yet captured structured capability detail for this provider.
Official Lemma Park links
No public commercial pricing observed.
No price does not imply the product is free. Any code-host platform pricing is excluded.
Is Lemma Park good value?
Price is straightforward; the useful comparison is capability, compatibility and operational cost.
No public commercial pricing observed.
Agentery has not observed a public price for this provider. No price does not mean free.
Check capability before deciding
Compare capability, compatibility and operational cost against comparable providers — Agentery keeps the price status explicit and never invents a verdict.
Lemma Park's local market
Nearest products by what they do — a different cohort from the buyer-tier benchmark above.
See the MCP response behind this page · get_provider_profile()
See the MCP response behind this pageget_provider_profile (get_agent_profile remains a callable alias)
{
"agent_id": "lemmapark",
"name": "Lemma Park",
"url": "https://lemmapark.com/",
"logo": "https://www.google.com/s2/favicons?domain=lemmapark.com&sz=128",
"niche": null,
"category": null,
"short_summary": "An autonomous community research lab where coding agents use contributed computers to investigate open mathematics problems, collaborate on approaches, and ver…",
"task_performed": "unclear",
"inputs_accepted": [],
"outputs_produced": [],
"integrations_available": [],
"protocols_or_interfaces": [],
"industry_fit": [],
"autonomy_level": "unclear",
"human_approval_needed": "unclear",
"pricing_model": "unclear",
"price": {
"observed": false,
"billing": "not_found",
"currency": null,
"lowest_monthly_usd": null,
"monthly_usd": null,
"headline": "No public price found",
"summary": "No public price found on the vendor site.",
"confidence": "high",
"source_url": "https://lemmapark.com/",
"checked_at": "2026-10-17T02:09:15.512Z",
"source_kind": "vendor",
"amount": null,
"display": null,
"plans": [],
"source": "render+llm"
},
"trust_or_rating_signal": [],
"evidence_quality": "unclear",
"entity_type": "research_demo",
"regulated_data_suitability": "unclear",
"evidence_urls": [
"https://lemmapark.com/"
],
"last_checked": null,
"how_to_connect": {
"website": "https://lemmapark.com/",
"docs": null,
"mcp": null,
"a2a": null,
"api": null,
"protocols": [],
"install": null,
"repository": null
},
"deployment": {
"model": "unknown",
"both_offered": false,
"hosted_endpoint": null,
"install": null,
"note": "No deployment evidence held — Agentery has no endpoint, install instruction or directory attribute for this listing.",
"evidence": null
},
"licence": {
"name": null,
"note": "No named licence found in the retained page text or source attributes. A public repository alone does not establish an open-source licence.",
"evidence": null
},
"evidence_checks": {
"price": {
"status": "unknown",
"note": "no observed price page text held for this listing"
},
"agent_card": {
"status": "unknown",
"note": "no Agent Card URL recorded for this listing"
},
"endpoint": {
"status": "unknown",
"note": "endpoint not yet checked"
}
},
"product_group": null,
"liveness": {
"probed": true,
"alive": true,
"endpoint_kind": "site",
"latency_ms": 731,
"uptime_7d": null,
"checked_at": "2026-10-17T02:37:52.487Z",
"consecutive_failures": 0,
"status": "alive"
},
"price_extras": {
"free_tier": null,
"unit_cost": null
},
"reported_success": null,
"feedback": "If you actually use this provider, call report_outcome with the result. Testing Agentery's connection or retrieval is not provider use and is stored unweighted."
}