2vyper

Static verifier for Vyper, based on Viper.


License
MPL-2.0
Install
pip install 2vyper==0.3.0