3 tagged lean-context, measured the same way as everything else here.
Instructions file CodexOpenCode
Instructions for FreePeak/LeanKG, covering leankg — agent context, build & test, cli quick reference, mandatory: docker mcp project paths and tool discovery prefer-order.
Instructions file
Instructions for FreePeak/LeanKG, covering leankg - ai agent context, project overview, quick start, index a codebase and calculate impact radius.
Instructions file Gemini CLI
Instructions for FreePeak/LeanKG, covering leankg - ai agent context, project overview, quick start, index a codebase and calculate impact radius.