Verus Scope

ahuoguo.verus-scope · by ahuoguoVS Marketplace Not verified

First Released:

Last Updated:

Classify and display Verus exec/spec/proof code: assumptions red, specs yellow, proofs grey, with three display modes.

Historical performance

7d 15d 30d 90d 1y All

VISUAL STUDIO MARKETPLACE

Installs growth

Last snapshot: Nov 7, 2026, 22:23 UTC

Total installs17

7d growth00.0% over 7d

Community rating—Reviews unavailable

Latest version0.1.5Updated Oct 16, 2026

8 calculable days · 0 without calculable growth.

Categories ranked by installs on Marketplace and downloads on Open VSX.

Term	Marketplace	Open VSX
rustKeyword · 2026-11-07 22:36 UTC	#452 of 1,331 ↑1 1d↓10 7d	Not listed

Checked daily for up to 1,000 results per term. Changes appear when historical data is available.