$ timeahead.in
/ servers/github/LeanKG
github

LeanKG

LeanKG: Stop Burning Tokens. Start Coding Lean.

201 starsupdated 0d agogithub ↗
79fair
▣ Overview
License: MITRustcrates.ioSafeSkill 77/100
▣ Score BreakdownMCPScore = Σ(raw × weight)
DimensionRawWeighted
Security
35%
100
35.0
Freshness
25%
100
25.0
Adoption
20%
23
4.6
Quality
10%
90
9.0
Trust
10%
50
5.0
Total
78.6
⚿ Capabilities & Risk Explainer
fs readfs writenetworkexecevalsecrets
◆ Risk level: high
fs read + fs write + network + exec + eval + secrets active — can execute code, access credentials, and make external network calls.
⚙ Install config
Source-only — no published npm / pypi package detected.
Clone and follow the build instructions in the repo: github.com/FreePeak/LeanKG
📈 Score historylast 32 snapshots
5/25/20267/5/2026 · 32 snapshots
⚙ Maintenance health
70/ 100 · is this project alive?
contributors (1y)6
top contributor share96%
releases (1y)16
last release3d ago
median issue response4.4h
ci⚠ failing
⛁ Raw data
weekly downloads0
github stars201
forks23
open issues10
license✓ present
readme length13245 chars
last publish1d ago
last commit0d ago
last updated3d ago
owner of this server? claim your listing to get a verified badgeclaim →
🔔 Score drop alerts
get notified by email when this server's score drops 5+ points