Home Rankings & Discovery Categories Tools Compare

Search extensions⌕

Menu ☰

Home Rankings & Discovery Categories Tools Compare

Loading page…

Independent VS Code extension discovery and analytics.

Observed metrics. Marketplace installs and Open VSX downloads are separate measures.
Tracking since Oct 26, 2026 (UTC)
Unofficial · Not affiliated with Microsoft or Eclipse Foundation.

Certora Verification Language LSP | VSXAtlas

EXTENSION INTELLIGENCE

Certora Verification Language LSP

certora.evmspec-lsp · by CertoraVS Marketplace Not verifiedOpen VSX Verified

First Released:

VS Marketplace: Sep 14, 2021
Open VSX: Aug 13, 2025

Last Updated:

VS Marketplace: Dec 25, 2025
Open VSX: Dec 25, 2025

Write specifications for EVM bytecode in VS Code.

Programming Languages

Install in VS Code ↗Compare ↗

VS Marketplace ↗Open VSX ↗Repository ↗

Historical performance

7d 15d 30d 90d 1y All

VISUAL STUDIO MARKETPLACE

Installs growth

Last snapshot: Nov 5, 2026, 22:02 UTC

Total installs3K

7d growth6+0.2% over 7d

Community rating★ 5.01 reviews

Latest version1.0.32Updated Dec 25, 2025

8 calculable days · 0 without calculable growth.

OPEN VSX

Downloads growth

Last snapshot: Nov 5, 2026, 22:16 UTC

Total downloads5.5K

7d growth216+4.1% over 7d

Community rating—0 reviews

Latest version1.0.32Updated Dec 25, 2025

8 calculable days · 0 without calculable growth.

Search & category rankings

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

No category or keyword positions available in the current 31-day window.

Loading search rankings…

Relationships source

Similar extensions

Loading Similar extensions…

Requires

Loading Requires…

Required by

Loading Required by…

Included extensions

Loading Included extensions…

Included in packs

Loading Included in packs…

Search & category rankings

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

No category or keyword positions available in the current 31-day window.