[PRESS RELEASE – Tel Aviv-Yafo, Israel, November 21st, 2025]

Certora, a full-stack security assurance platform trusted by leading Web3 teams, has launched the Certora AI Composer, an open-source AI coding platform. This platform merges artificial intelligence with formal verification to expedite and secure smart contract development.

Unlike conventional AI coding tools that prioritize speed, Certora AI Composer guarantees that every AI-generated code snippet complies with rigorous mathematical safety standards prior to execution. By incorporating Certora’s established formal verification technology into the AI generation process, developers can confidently explore design options while ensuring that security norms are continuously verified.

“Using AI should never mean compromising safety. Certora AI Composer demonstrates that AI and formal verification can collaborate effectively to make smart contract development inherently trustworthy,” explained Certora Founder Mooly Sagiv. “This alpha release is an invitation to the community to help shape the future of safe autonomous coding.”

The Certora AI Composer Alpha will be available open-source on GitHub starting December 4, enabling developers to test, provide feedback, and contribute to establishing a gold standard for verified AI-driven development.

Key Features:

• Integrated formal verification checks for AI-generated code
• Open-source extensibility for creating custom safety modules
• Supported by the Certora Prover, an industry-wide trusted verification engine

Certora will host a livestream event on December 4 titled “AI Meets Verification: An Open Discussion with Certora Researchers,” offering in-depth insights into the workings of Certora AI Composer and its security enhancements.

Users can sign up for the event HERE and follow them on Twitter at @CertoraInc for future updates and notifications.

About Certora
Certora is a security assurance partner relied upon by elite teams in Web3. Established in 2018 by pioneers in programming languages and formal methods, Certora aids leading protocols like Lido, Aave, Uniswap, and Compound in securing billions in value with confidence.