Use cases

Search, filter by tool or topic, sort, and save ideas in this browser.

Tools

Topics

1match

product2026-10-16math

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.

Lemma ParkClaude CodeLean+1

Source ↗

Loading directory…