Lean 4 Code Actions

1.06× in 30 days, from 2.7k to 2.9k installs, faster than 92% of editor extensions.

Measured by Vela Breakout · as of Oct 10, 2026 · How we measure