Certora has launched AI Composer, an open-source platform combining AI generation with formal verification to ensure smart contracts are safe before execution. The tool aims to make autonomous coding secure by default as it rolls out on Dec. 4.