trackmcp
Back to directory

LeanKG: Stop Burning Tokens. Start Coding Lean.

216 stars RustOthers Updated Sep 4, 2026
concise-contextgraph-databaseknowledge-graphlean-codelean-contextmcpmcp-serversaving-tokentokenlean-tokenknowlege-basesecond-brainai-memorycodebase-memorycodebase-memory-mcpmemory-ai-agentcontext-engineergraph-engineer

No README could be loaded. View the project on GitHub for full documentation.

Frequently asked questions

What is LeanKG?

LeanKG is LeanKG: Stop Burning Tokens. Start Coding Lean.

How do I install LeanKG?

Open the GitHub repository and follow its README. Most MCP servers are added to your client's MCP config, then called by your agent.

Is LeanKG open source?

Yes — it is hosted on GitHub at https://github.com/FreePeak/LeanKG and has 216 stars.

Related MCP tools

Run your own MCP server? See who uses it and what to fix.

Measure it with TrackMCP