The security audit firm has built a free platform for Ethereum developer teams to automate smart contracts.