LeanKG: Stop Burning Tokens. Start Coding Lean.
Latest release v0.26.1 · 22 Aug 2026
These files are FreePeak/LeanKG's own configuration. They tell Codex, OpenCode, Claude Code 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.
AGENTS.md A 1,842 tok CLAUDE.md A 2,396 tok GEMINI.md A 1,140 tok