agentmods.dev

FreePeak/LeanKG

LeanKG: Stop Burning Tokens. Start Coding Lean.

This repository also configures its own agents. See what LeanKG tells them →

Open on GitHub leankg.com
221Stars on the repository
11Mods indexed here, across every type
yesterdayLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 2 mods

leankg

01

FreePeak/LeanKG

Plugin Claude Code

Bundles 2 skills, 1 command, 2 hooks · 70 tokens together

Lightweight knowledge graph for AI-assisted development. Impact analysis, code search, dependency tracking, and context generation.

not rated 221 +1 yesterday A tokens not measured original Apache-2.0

leankg

02

FreePeak/LeanKG

Plugin Gemini CLI

Lightweight knowledge graph for AI-assisted development. Impact analysis, code search, dependency tracking, and context generation.

not rated 221 +1 yesterday A tokens not measured original Apache-2.0