libregistry
Registry
Models
Docker
IAM
MCP
Docs
Sign in with Google
MCP Servers
/
development
/ Lean KG
Lean KG
JSON →
none
★ 192
development
LeanKG: Stop Burning Tokens. Start Coding Lean.
github ↗
Install
How to run this server
No install command recorded.
server path:
lean-kg
Tools
What this server exposes
init
Initialize LeanKG in your project
index
Index your codebase
watch
Auto-index on file changes
impact
Calculate blast radius of a file with configurable depth
status
Check index status
metrics
View token savings
web
Start Web UI
export
Export graph as Mermaid, DOT, or JSON
quality
Find oversized functions
detect-clusters
Identify functional code communities
trace
Show feature-to-code traceability
annotate
Annotate code elements
run
Run shell commands with RTK compression
api-serve
Start REST API server with auth
api-key
Manage API keys
proc
Manage LeanKG/Vite processes
obsidian
Manage Obsidian vault sync
register
Register a repository
list
List all registered repos
setup
Configure MCP for all repos and install Claude hooks
Configuration
Environment & auth
auth
none
Resources
github
https://github.com/FreePeak/LeanKG ↗
Lean KG — MCP Server · libregistry