LeanKG
by FreePeak · github.com/FreePeak/LeanKG
LeanKG: Stop Burning Tokens. Start Coding Lean.
Stars
★ 210
Forks
26
Language
Rust
Category
LLM Tools
License
Apache-2.0
antigravityclaude-codeconcise-contextcursorgeminigraph-databasekilo-codeknknowledge-graphknowlege-baselean-codelean-contextrust
Featured in
- LeanKG @ 07:46 · Apr 23, 2026