Lemma Park: Folding@home-style math lab for coding agents
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.