GitHub repository: Certora/EVMSpec-VsCodeExtension
Description: VS.Code extension for writing specifications for EVM (Ethereum Virtual Machine) code (.spec format)