We’re excited to host a special livestream unveiling the Certora AI Composer, an open-source AI coding platform that brings together artificial intelligence and formal verification to make smart contract development faster, safer, and trustworthy by default. While most “AI-for-code” tools focus on speed, the Certora AI Composer ensures that every AI-generated snippet is checked against mathematical safety rules before it ever runs. By integrating Certora’s industry-trusted verification engine directly into the AI generation loop, developers can explore ideas freely while maintaining continuous security guarantees. In this livestream, John Toman — Senior Technical Fellow at Certora — will walk you through how the Composer works, demo its capabilities, and explain how AI and formal verification reinforce each other to set a new standard for safe autonomous coding. More details about the Certora AI Composer: Follow us on Twitter for updates: @CertoraInc