FreePeak/LeanKG — Instructions

215Stars on the repository

14Mods indexed here, across every type

8d agoLast push, which is what freshness is scored on

Apache-2.0Licence, which decides whether bodies are shown

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 3 mods

LeanKG AGENTS.md

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.

215 8d ago A 1,827 tokens original Apache-2.0

LeanKG CLAUDE.md

FreePeak/LeanKG

Instructions file

Instructions for FreePeak/LeanKG, covering leankg - ai agent context, project overview, quick start, index a codebase and calculate impact radius.

215 8d ago A 2,392 tokens original Apache-2.0

LeanKG GEMINI.md

FreePeak/LeanKG

Instructions file Gemini CLI

Instructions for FreePeak/LeanKG, covering leankg - ai agent context, project overview, quick start, index a codebase and calculate impact radius.

215 8d ago A 1,138 tokens original Apache-2.0