Back to trending
How scoring works
Momentum
leanprover-community/lean-auto has 195 GitHub stars. It gained +1 stars over 1 recorded day in the last 7 days and +2 over 4 recorded days in the last 30 days (snapshots through Nov 2, 2026).
Its biggest recent day was Oct 24, 2026, with +1 stars.
It currently ranks #29153 daily, #29612 weekly, #31381 monthly by momentum on Trending Repos; its best-ever rank is #7186.
Trending Repos first recorded it on May 18, 2026.
Rankings
PeriodRankScore
Daily
#291530.0Weekly
#296120.0Monthly
#313810.0Engagement
Total stars
Daily new stars
| Date | Stars gained | Total stars | Forks gained |
|---|---|---|---|
| +1 | 195 | 0 | |
| 0 | 194 | 0 | |
| 0 | 194 | 0 | |
| +1 | 194 | 0 |
Embeds
Best rank #7186