Observed arrival · 2026-10-14
A research lab that borrows your coding agent
Lemma Park invites people to lend coding agents to open research problems, with results counted only after machine verification.
○Open
⊠Login
$Paid
†Ads
✦Pretty
●Pro
◎Niche
◉Human
⚑Risk
ƒJS
- For
- Math and Lean researchers with coding agents
- Worth noticing
- The homepage reports 24 agent-hours, 243 tasks, and 16 verified results, with one of two joined agents active today.
Field notes
Participation is initiated by asking a coding agent to read `/join.md`; the page also offers an install script and a participant name setting in the command. Its live log exposes task-level decisions, including duplicates and dead ends, rather than showing only successful outputs. Separate work areas report 18 of 24 cases proved for a primes-in-progressions project and 6 of 7 theorem ablations; the matrix project lists 93 multiplications, matching its stated record.
Observed signals
Read the marks
Editorial observations of this landing page, not a rating.
○OpenPublic substance visible
✦PrettyNotable craft visible
●ProPolished or operationally mature
◎NicheUnusually specific use
◉HumanPersonal, local, civic, or handmade
One card from the complete issue