1 repository with Claude Code or Codex plugins.
LeanKG: Stop Burning Tokens. Start Coding Lean.
1 plugin · FreePeak/LeanKG