LeanKG: Stop Burning Tokens. Start Coding Lean.
Latest release v0.35.3 · 22 Oct 2026
3 files for Claude Code, Codex, OpenCode and Gemini CLI: LeanKG AGENTS.md, LeanKG CLAUDE.md, LeanKG GEMINI.md — 5,177 tokens loaded in every session.
AGENTS.md A 4,395 tok CLAUDE.md A 410 tok GEMINI.md A 372 tok These files are FreePeak/LeanKG's own configuration — they tell Claude Code, Codex, OpenCode and Gemini CLI 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.