$ timeahead.in
/servers
/blog
/about
/servers
/blog
/about
/ servers
/
github
/
LeanKG
github
LeanKG
LeanKG: Stop Burning Tokens. Start Coding Lean.
★
201
stars
updated
0d ago
github ↗
☆ Watch this server
⚡ Compare
⚑ Claim listing
79
fair
▣ Overview
▣ Score Breakdown
MCPScore = Σ(raw × weight)
Dimension
Raw
Weighted
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 read
fs write
network
exec
eval
secrets
◆ 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 history
last 32 snapshots
5/25/2026
7/5/2026 · 32 snapshots
⚙ Maintenance health
70
/ 100 · is this project alive?
contributors (1y)
6
top contributor share
96%
releases (1y)
16
last release
3d ago
median issue response
4.4h
ci
⚠ failing
⛁ Raw data
weekly downloads
0
github stars
201
forks
23
open issues
10
license
✓ present
readme length
13245 chars
last publish
1d ago
last commit
0d ago
last updated
3d ago
owner of this server? claim your listing to get a verified badge
claim →
🔔 Score drop alerts
get notified by email when this server's score drops 5+ points
notify me on score drops
/servers
/compare
/blog
/about
mcp
blog
about