Menu
Publisher

Certora

certora

Active listings observed under this identifier in the VSX Atlas catalog. Matching identifiers across registries do not establish common ownership. Verification is shown per listing.

Extensions1Distinct extension identifiers across registries
Marketplace installs3KTotal from all extensions
Open VSX downloads5.5KTotal from all extensions

Extensions

VS Marketplace Sync: Open VSX Sync:
Extensions under certora. Marketplace installs and Open VSX downloads are separate measures. Category ranks show observed positions or a confirmed position beyond the first 1,000 results.
ExtensionVS MarketplaceOpen VSX
Certora Verification Language LSPcertora.evmspec-lsp
Installs
2,965+0.2% · 7d
Rating
★ 5.0
Category rank
>1,000 · Programming Languages
Latest
v1.0.32 ·
Downloads
5,488+4.1% · 7d
Rating
—
Category rank
>1,000 · Programming Languages
Latest
v1.0.32 ·