Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits
PrototypeCommon

FreePeak/LeanKG

LeanKG: Stop Burning Tokens. Start Coding Lean.

Owner
FreePeak (organization)
Stars
Stars: 223
Forks
Forks: 27
Language
Go
License
Apache-2.0
Created
2026
Topics
concise-contextgraph-databaseknowledge-graphlean-codelean-contextmcpmcp-serversaving-tokentokenlean-token
Tier
Prototype (100 to 249 ★) What this tier means
View on GitHub

More repos by FreePeak

All 2 repos by FreePeak

Nearby in Go

All Go repos