Skip to main content
ClaudeWave

LeanKG: Stop Burning Tokens. Start Coding Lean.

MCP Servers197 stars19 forksRustApache-2.0Updated yesterday
ClaudeWave Trust Score
97/100
Verified
Passed
  • Open-source license (Apache-2.0)
  • Actively maintained (<30d)
  • Healthy fork ratio
  • Clear description
  • Topics declared
Last scanned: 6/11/2026
Install in Claude Code / Claude Desktop
Method: Manual · LeanKG
Claude Code CLI
git clone https://github.com/FreePeak/LeanKG
claude_desktop_config.json (Claude Desktop)
{
  "mcpServers": {
    "leankg": {
      "command": "LeanKG"
    }
  }
}
1. Run the command above in your terminal (Claude Code), or paste the JSON config into claude_desktop_config.json (Claude Desktop).
2. Replace any <placeholder> values with your API keys or paths.
3. Restart Claude. The MCP server and its tools appear automatically.
💡 Install the binary first: cargo install LeanKG (or build from https://github.com/FreePeak/LeanKG).
Use cases

MCP Servers overview

README preview not available. Visit the repo on GitHub for full documentation.
antigravityclaude-codeconcise-contextcursorgeminigraph-databasekilo-codeknknowledge-graphknowlege-baselean-codelean-contextlean-tokenllmmcpmcp-serveropencodesaving-tokensecond-braintoken

What people ask about LeanKG

What is FreePeak/LeanKG?

+

FreePeak/LeanKG is mcp servers for the Claude AI ecosystem. LeanKG: Stop Burning Tokens. Start Coding Lean. It has 197 GitHub stars and was last updated yesterday.

How do I install LeanKG?

+

You can install LeanKG by cloning the repository (https://github.com/FreePeak/LeanKG) or following the README instructions on GitHub. ClaudeWave also provides quick install blocks on this page.

Is FreePeak/LeanKG safe to use?

+

Our security agent has analyzed FreePeak/LeanKG and assigned a Trust Score of 97/100 (tier: Verified). See the full breakdown of passed checks and flags on this page.

Who maintains FreePeak/LeanKG?

+

FreePeak/LeanKG is maintained by FreePeak. The last recorded GitHub activity is from yesterday, with 6 open issues.

Are there alternatives to LeanKG?

+

Yes. On ClaudeWave you can browse similar mcp servers at /categories/mcp, sorted by popularity or recent activity.

Deploy LeanKG to your cloud

Ship this repo to production in minutes. Each platform spins up its own environment with editable env vars.

Maintain this repo? Add a badge to your README

Drop the badge into your GitHub README to show it's tracked on ClaudeWave. Each badge links back to this page and reflects the live Trust Score.

Featured on ClaudeWave: FreePeak/LeanKG
[![Featured on ClaudeWave](https://claudewave.com/api/badge/freepeak-leankg)](https://claudewave.com/repo/freepeak-leankg)
<a href="https://claudewave.com/repo/freepeak-leankg"><img src="https://claudewave.com/api/badge/freepeak-leankg" alt="Featured on ClaudeWave: FreePeak/LeanKG" width="320" height="64" /></a>

More MCP Servers