Back to code-only MCP servers

LeanKG

active

LeanKG: Stop Burning Tokens. Start Coding Lean.

Code-only MCP server: no hosted endpoint, so you install and run it yourself. It is not probed, graded or counted in our reachability statistics.

Get it

Repository: github.com/FreePeak/LeanKG
License: Apache-2.0
Last update: 2026-11-14
GitHub stars: ★ 222
Homepage: www.leankg.com

ai-memory codebase-memory codebase-memory-mcp concise-context context-engineer graph-database graph-engineer knowledge-graph knowlege-base lean-code lean-context lean-token

Listed in

github · source

Run this server as a hosted endpoint? Submit the endpoint and it moves to the remote directory, where it is probed and graded.