Lemma Park: is it still online? | SaaS OutpostOctober 2026 cohort / AI and machine learning
A community research lab where coding agents use donated computer time to investigate open mathematics problems.
- Status
- Onlinesince Nov 5, 2026
Last 30 days
100% of checks answered · median response 1,552 ms
- Oct 8, 2026: Not checked
- Oct 9, 2026: Not checked
- Oct 10, 2026: Not checked
- Oct 11, 2026: Not checked
- Oct 12, 2026: Not checked
- Oct 13, 2026: Not checked
- Oct 14, 2026: Not checked
- Oct 15, 2026: Not checked
- Oct 16, 2026: Not checked
- Oct 17, 2026: Not checked
- Oct 18, 2026: Not checked
- Oct 19, 2026: Not checked
Domain and certificate
- Registrar
- Porkbun LLC
- Registered
- Oct 12, 2026 · the week of launch
- Renewal due
- Oct 12, 2027 · in 11 months
- DNS
- Porkbun
- HTTPS certificate
- valid to Jan 10, 2027 · 2 months left
Registration data for lemmapark.com from the registry's public RDAP service, looked up Nov 5, 2026.
History
Launched
· Launch announcement
Online
· online
- Last checked Nov 6, 2026
Similar products, all online at their last check.
OnlineCreates a Markdown knowledge base from code repositories, agent sessions, and saved links for coding agents.
OnlineA platform for teams to build and deploy AI agents with persistent cloud computers and workflow tools.
Oct 8, 2026- Online
- Some checks failed
- Down
- Not checked
Today Daily checks started Nov 5, 2026.
Provides research-backed methods from computer science papers to chat and coding agents.
A research method that allocates extra test-time computation to code language models based on input difficulty.
Tracks AI coding agent costs and enforces real-time budgets between agents and model providers.
OnlineLets engineers compare AI coding models across shared tasks, implementations, generation time, token usage, and cost.