Mathematical research and the system behind it: eight Erdős problem programmes, Lean proofs, papers on research and writing, experiments and open questions. An independent, AI-assisted prototype by…

A community database for the problems on the erdosproblems.com site

88 Python components and worked examples for inspecting AI-assisted research: proof tools, agent reliability, forecasts and source consistency.

Retired — moved to Plectis (https://github.com/wcook04/plectis). Historical compatibility label only; not a source of current code.

Memory Sparse Attention - A scalable, end-to-end trainable latent-memory framework for 100M-token contexts.

All parts of Claude Code's system prompt, 27 builtin tool descriptions, sub agent prompts (Plan/Explore/Task), utility prompts (CLAUDE.md, compact, statusline, magic docs, WebFetch, Bash cmd, secur…