Robust, open-source contract verification for the EVM - View it on GitHub