Lemma Park: Folding@home-style math lab for coding agents
At a glance
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. This workflow is listed under math, formal-verification, crowdsourced-agents, Lean, research.
Show HN (Oct 16): Things to Do ships REST + HTTP MCP so agents query SF Bay Area shows, pop-ups, concerts, and festivals in plain language (`claude mcp add --transport http thingstodo https://api.thingstodoapi.com/mcp`) instead of slow web search or ad-hoc scraping; NYC/LA listed as soon.
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.
Self Labs’ Agent Vault gives agents mock tokens for checkout and sign-in; real card numbers and passwords never reach the model. Caps, merchant allowlists, and per-purchase approval. Connect Grok Bot via MCP or Meta Muse via custom connector in ~2 minutes (also Claude Code, Hermes, Codex).
Anthropic’s Applied AI playbook reframes Plan/Design/Build/Test/Deploy/Maintain as a loop of committed artifacts (intent.md → spec.md → plan.md → PR → production) with Claude Code plan mode, skills as institutional knowledge, hooks as deterministic gates, continuous evals in CI, and production control bands that write the next intent.md. Humans stay at judgment gates; agents do the rest. Companion pieces cover securing an AI-native SDLC and Claude Academy course modules.