MythX smart contract security verification plugin for Truffle Framework - View it on GitHub