Hi there,

I am not exactly a developer, but i get to read a lot real life system written in solidity as some kind of auditor and a formal verifier of dapps and modules on ethereum blockchain.
I use VScode for solidity because the tool im using for formal verification has a dedicated extension in VScode, so it's easier to work on everything in one editor.

My question is for those who use VScode for solidity development - what extension do you use? At the moment I use the "Ethereum Security Bundle" which bundles both juan blanco's and tintinweb's extension. I am perticularly interested in a superb "go to definition" feature, as well as easy access to sighash, var types, jump to built unit tests, etc.

Any recommendations?