PluginStatsBetter Shell Syntax vs Lean 4
Adoption and growth comparison · shareable link
Over the last 7 days, Lean 4 grew fastest (+1.3%).
| Plugin | Metric | Current | 7d | 30d | Daily rate (30d) | Rank | Rating | Ratings / day | Updated |
|---|---|---|---|---|---|---|---|---|---|
| Installs | 201,041 | +0.2% | — | — | #1507 | 5.0 | — | Fresh · Oct 23, 2026 | |
| Installs | 196,860 | +1.3% | — | — | #1536 | 4.6 | — | Fresh · Oct 23, 2026 |