Rank #1888 · on radar since 2026-07-03
LeanKG
LeanKG: Stop Burning Tokens. Start Coding Lean.
Visit homepage ↗tokenllmknowlege-baseopencode+16
Momentum
42.2
24h–7d–
Why it's ranked
Every score decomposes into published factors — the same math for every tool, paid or not. Read the methodology →
| Velocity (weighted, cohort-normalized) | 0.438 |
| Signal decay | 0.995 |
| Corroboration | 1.000 |
| Quality gate | 1.000 |
Raw signals (30 days)
github · forks22 latest · 2 snapshots
github · stars199 latest · 2 snapshots