Toolbox for auditing and patching vulnerabilities in smart contracts. Automate your contract audit process in your development lifecycle.