FreePeak/LeanKG — Skills

215Stars on the repository

13Mods indexed here, across every type

9d 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 2 mods

usage

FreePeak/LeanKG

Skill Claude CodeCodex

Part of LeanKG

Query LeanKG knowledge graph for code understanding. Use when exploring a codebase, finding functions, tracing dependencies, or calculating impact radius.

215 9d ago A 27 tokens original Apache-2.0

using-leankg

FreePeak/LeanKG

Skill Claude CodeCodex

Part of LeanKG

Code search via LeanKG MCP when HTTP :9699 is healthy; otherwise skip LeanKG and use default Grep/Glob/Read. Invoke before code navigation when LeanKG may apply.

215 9d ago A 43 tokens original Apache-2.0