Prover

Not unusually. Prover's measures are moving with or below their peers; the strongest is extensions & add-ons, 1.09× in 30 days (3.3k to 3.7k installs).

Extensions & add-ons: 1.09× in 30 days (3.3k to 3.7k installs).

On extensions & add-ons it ranks #1,315 of 29,318 editor extensions by growth over 30 days, faster than 95% of editor extensions.

Prover Studio (extensions & add-ons, 1.09×).

Beside Prover, the fastest growers on extensions & add-ons are Logi Command Manager (4.2×), Google Antigravity (3.5×), DeepSeek Harness for VSCode (3.3×) and Hermes Agent (3.2×).

Vela Breakout counts public usage every day: AI tokens, package downloads, installs, open roles, software spend and web reach. Each figure is measured, not estimated, and dated; this page is as of Oct 10, 2026.