Tel Aviv-Yafo, Israel, November 21st, 2025, Chainwire
Certora, a leading **security assurance platform** in the **Web3** ecosystem, has unveiled the **Certora AI Composer**, an innovative open-source platform designed to enhance the speed and safety of **smart contract development** through the integration of artificial intelligence (AI) with formal verification techniques.
Unlike typical “AI-for-code” solutions that prioritize convenience and efficiency over safety, the **Certora AI Composer** incorporates formal verification directly into the AI generation process. This ensures that every generated code snippet complies with mathematical safety rules before it is executed. By embedding Certora’s renowned **formal verification technology** within the AI workflow, developers can conduct explorations of design ideas with confidence, knowing that security invariants are continuously monitored rather than applied post-hoc.
“Using AI should never mean compromising safety. Certora AI Composer proves that AI and formal verification can work together to make smart contract development trustworthy by default,” said **Mooly Sagiv**, founder of Certora. “This alpha release is our invitation to the community to help us shape the future of safe autonomous coding.”
The **Alpha release** of the **Certora AI Composer** will be open source on **December 4th** and available on **GitHub**. Developers are encouraged to experiment with the platform, provide feedback, and contribute to establishing a new standard for verified AI-driven development.
Key Features and Community Engagement
The **Certora AI Composer** offers several notable features:
- Integrated formal verification checks for AI-generated code
- Open-source extensibility to create custom safety modules
- Supported by the **Certora Prover**, an industry-leading verification engine
In conjunction with the release, Certora will host a livestream event on **December 4th**, titled “AI Meets Verification: An Open Discussion with Certora Researchers.” This event aims to provide a detailed overview of how Certora AI Composer functions and its potential to enhance security in smart contract development. Interested users can sign up for the event and follow updates on **Twitter** at **@CertoraInc**.
About Certora
Founded in 2018, Certora has established itself as a trusted security assurance partner for some of the most advanced teams in the Web3 landscape, including protocols such as **Lido**, **Aave**, **Uniswap**, and **Compound**. By securing billions of dollars in value, Certora is paving the way for a safer and more reliable future in decentralized finance.
This latest initiative not only reflects Certora’s commitment to innovation but also represents a significant step toward integrating AI with robust verification processes. As the landscape of smart contract development continues to evolve, solutions like the **Certora AI Composer** are critical in ensuring both speed and security within this rapidly advancing field.
For more information, you can contact:
VP of Marketing
Ilya Leybovich
Certora
[email protected]
The launch of **Certora AI Composer** marks an important milestone in the intersection of AI and blockchain technology, promising a safer and more efficient future for smart contract development.
See also
AI Tools Empower Founders to Think Like Marketers, Boosting Clarity and Creativity
Microsoft Reveals AI Frontier Partners Program: Insights from AlphaBOLD and Schneider Downs
Business Insider Joins Microsoft’s Publisher Content Marketplace for AI Content Compensation
CAST Launches MCP Server for AI-Powered Software Management, Enhancing Code Insights
AI Search Reveals 85% of Retailers Unprepared for Next-Gen Discovery by 2026
