Prusti Assistant

viper-admin.prusti-assistant · by Chair of Programming Methodology - ETH ZurichVS Marketplace Not verifiedOpen VSX Verified

First Released:

Last Updated:

Verify Rust programs with the Prusti verifier.

Historical performance

7d 15d 30d 90d 1y All

VISUAL STUDIO MARKETPLACE

Installs growth

Last snapshot: Nov 6, 2026, 22:21 UTC

Total installs2.4K

7d growth1+0.0% over 7d

Community rating—Reviews unavailable

Latest version0.13.1Updated Nov 2, 2026

8 calculable days · 0 without calculable growth.

OPEN VSX

Last snapshot: Nov 6, 2026, 22:31 UTC

Total downloads13.9K

7d growth406+3.0% over 7d

Community rating—0 reviews

Latest version0.13.1Updated Nov 2, 2026

8 calculable days · 0 without calculable growth.

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

Term	Marketplace	Open VSX
ai assistantKeyword · 2026-11-06 22:46 UTC	No observed result	#25 of 3,803 ↓2 1d↑3 7d
rustKeywordMarketplace · 2026-11-06 22:40 UTCOpen VSX · 2026-11-06 22:46 UTC	#341 of 1,329 ↓16 1d↓24 7d	#32 of 366 ↓1 1d↑6 7d
Programming LanguagesCategory · 2026-11-06 22:45 UTC	No observed result	#844 of 5,083 ↓3 1d↓2 7d

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