Fossy
fossy
Back FreePeak/LeanKG
LeanKG

LeanKG

LeanKG: Stop Burning Tokens. Start Coding Lean.

209 24
Apache-2.0
 last commit 2026-07-18
antigravityclaude-codeconcise-contextcursorgeminigraph-databasekilo-codeknknowledge-graphknowlege-base
Website Source
Share:

About

LeanKG: Stop Burning Tokens. Start Coding Lean.

Languages

Rust92.2%TypeScript3.5%Shell2.8%JavaScript1%Python0.2%CSS0.1%Makefile0.1%HTML0%Batchfile0%Dockerfile0%

Contributors7

linhdmn615thientu22nkchuong160711hossihub6dependabot[bot]3mvanhorn1OyaAIProd1

No features listed.

Comments Theme
Platforms
Docker
Hosting
Self-hosted
Install
Docker
Cargo
Build from source
Keywords
antigravity
claude-code
concise-context
cursor
gemini
graph-database
kilo-code
kn
knowledge-graph
knowlege-base
lean-code
lean-context
lean-token
llm
mcp
mcp-server
opencode
saving-token
second-brain
token
slug: leankg

Sponsored

SponsorSponsorSponsorSponsor
Ad space
300 × 250 (IAB)
Ad space
300 × 250 (IAB)