Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service. - View it on GitHub