A static verifer for Ethereum Smart Contracts written in Vyper - View it on GitHub