rocq-prover

Yes. rocq-prover is growing faster than 90% of comparable items on extensions & add-ons. The strongest: extensions & add-ons, 1.13× in 30 days (12.1k to 13.7k installs).

Extensions & add-ons: 1.13× in 30 days (12.1k to 13.7k installs). Web reach: 1.03× in 14 days (#291k to #283k rank among all websites).

On extensions & add-ons it ranks #860 of 29,318 editor extensions by growth over 30 days, faster than 97% of editor extensions. On web reach it ranks #1,195 of 4,516 company websites by growth over 14 days, climbing faster than 73% of company websites.

VsRocq (extensions & add-ons, 1.13×).

Beside rocq-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.