← Back to Discover
FreePeak

FreePeak/LeanKG

RustApache-2.0activerising
88Health

LeanKG: Stop Burning Tokens. Start Coding Lean.

Stars199
Forks22
Open Issues10
Contributors22
Last Push0d ago

Health Breakdown

Activity
25
Community
25
Maintenance
13
Popularity
25
#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
View on GitHub ↗Issues (10) ↗Pull Requests ↗

Should you contribute to FreePeak/LeanKG?

FreePeak/LeanKG has a FoundDev health score of 88/100, which puts it in the active-and-maintained tier. The maintainer team is shipping recently, issues are being closed, and a PR you open this week has a realistic chance of being reviewed.

Last push was 0 days ago — that signals an actively maintained project. New issues are likely to get a maintainer response within days. The project is written primarily in Rust, so prior Rust experience will shorten ramp-up.

Licensed under Apache-2.0, a standard OSI-approved license — safe to contribute to under normal employer IP policies.

Community

FreePeak
FreePeak/LeanKG
RustApache 2.0
88

LeanKG: Stop Burning Tokens. Start Coding Lean.

activerising
19922 contributors10 issues
0d ago

More Rust repos

MystenLabs
MystenLabs/sui
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
7.7k97
web3infra-foundation
web3infra-foundation/libra
Libra is evolving into an AI agent–native version control tools
7696
paradigmxyz
paradigmxyz/reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
5.7k92