Atlas of formalised number theory in Lean (Verso blueprint)
2 files for Codex, OpenCode and Claude Code: AINTLIB AGENTS.md, AINTLIB CLAUDE.md — 4,539 tokens loaded in every session.
AGENTS.md A 2,270 tok CLAUDE.md A 2,269 tok These files are CBirkbeck/AINTLIB's own configuration — they tell Codex, OpenCode and Claude Code how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.