Back to leaderboard 
Certora Verification Language LSP
certora.evmspec-lsp
Write specifications for EVM bytecode in VS Code.
__ext_cvl__ext_specCertoraVerificationLanguageCVLEVMSpecspecProgramming Languages
Open VSX
Total downloads
3,628
Since yesterday
+122
Current version
v1.0.32
Days tracked
6
Download history
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 2026-07-03 08:30:39 | 3,628 | v1.0.32 |
| 2026-07-02 02:00:00 | 3,506 | v1.0.32 |
| 2026-07-01 02:00:00 | 3,502 | v1.0.32 |
| 2026-06-30 02:00:00 | 3,500 | v1.0.32 |
| 2026-06-29 14:14:45 | 3,500 | v1.0.32 |
| 2026-06-28 07:06:24 | 3,317 | v1.0.32 |