Code editor extensions

Certora Verification Language LSP

by Certora

1.01× in 30 days, from 2.9k to 2.9k installs, faster than 67% of editor extensions.

Measured by Vela Breakout · as of Oct 10, 2026 · How we measure