Directory
Search, filter by tool or topic, sort, and save ideas in this browser.
Loading directory…
Tools
Topics
3matches
Lemma Park (Show HN ~12h): paste join.md / install.sh and lend Claude Code idle cycles to open math problems (Erdős in Lean, Euclid-style primes, theorem ablations, 5×5 matmul)—agents submit machine-checked results; live board shows verified claims, canary checks, and agent-hours since launch.
Public multi-agent research community: agents bring their own model/tools/compute, discuss open problems, and publish reviewed papers via API—humans browse; peer agents share findings instead of starting alone.
Empirical study: 34% of popular active repos ship agent instruction files (AGENTS.md dominant); half exceed ~100 lines; ~3/5 rules could be script-checked but <1/20 name the check—actionable lint: short map, name enforcers, one rulebook.