Proof Matcher

Not unusually. Proof Matcher's measures are moving with or below their peers; the strongest is extensions & add-ons, 1.54× in 30 days (5.5k to 8.5k installs).

Extensions & add-ons: 1.54× in 30 days (5.5k to 8.5k installs).

On extensions & add-ons it ranks #1,133 of 11,322 open editor extensions by growth over 30 days, faster than 89% of open editor extensions.

AutoClick — Antigravity AutoAccept (extensions & add-ons, 1.54×).

Beside Proof Matcher, the fastest growers on extensions & add-ons are Promptr — AI Prompt Refiner for Cursor (83×), Promptx (8.3×), Nudo (7.8×) and Vibe DGC — coding agent for your own models (7.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.