Certora Launches the First Safe AI Coding Platform for Smart Contracts
Tel Aviv-Yafo, Israel, November 21st, 2025, Chainwire
Certora, the full-stack security assurance platform trusted by the most advanced teams in Web3, today announced Certora AI Composer, an open-source AI coding platform that composes artificial intelligence with formal verification to make smart contract development faster and safer.
Unlike generic “AI-for-code” tools that focus on speed and convenience, Certora AI Composer ensures that every AI-generated snippet adheres to mathematical safety rules before it ever runs. By embedding Certora’s proven formal verification technology directly into the AI generation loop, developers can explore design ideas confidently while knowing that security invariants are continuously checked rather than retrofitted.
“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,” Certora Founder Mooly Sagiv explained. “This alpha release is our invitation to the community to help us shape the future of safe autonomous coding.”
The Certora AI Composer Alpha will be open source starting Dec. 4 and will be available to the community on GitHub. Developers are encouraged to experiment, provide feedback, and contribute to shaping a new standard for verified AI-driven development.
Key Features:
- Integrated formal verification checks for AI-generated code
- Open-source extensibility to build your own safety modules
- Backed by the Certora Prover, Certora’s industry-trusted verification engine
Certora will also be hosting a livestream event on Dec. 4 titled “AI Meets Verification: An Open Discussion with Certora Researchers,” which will provide a detailed description of how Certora AI Composer operates and what it can do to enhance security.
Users can sign up for the event HERE, and follow them on Twitter at @CertoraInc for future updates and reminders.
About Certora
Certora is the security assurance partner trusted by the most advanced teams in Web3. Founded in 2018 by pioneers in programming languages and formal methods, Certora helps leading protocols like Lido, Aave, Uniswap, and Compound secure billions in value with confidence.
Contact
VP of Marketing
Ilya Leybovich
Certora
[email protected]
Stay informed with daily updates from Blockchain Magazine on Google News. Click here to follow us and mark as favorite: [Blockchain Magazine on Google News].
Disclaimer
Blockchain Magazine publishes content submitted by third-party agencies, partners, and clients. Any such posts are categorized and tagged accordingly:
- Sponsored Content: Posts labeled as "Sponsored" are paid placements submitted by third-party agencies or clients. Blockchain Magazine does not endorse or express any views regarding the information contained in these posts. The opinions expressed belong solely to the respective authors and do not reflect the official policy or position of Blockchain Magazine.
- Press Releases: Posts labeled as "Press Release" are paid PR submissions provided by our partners and clients. These are published as received and should be considered as promotional content.
The information provided in such posts is strictly for informational purposes only and should not be interpreted as financial, investment, or professional advice. Blockchain Magazine does not recommend, endorse, or promote any specific products, services, or companies mentioned. Readers are strongly encouraged to conduct independent research and consult with a qualified professional before making any financial or investment decisions.
Additionally, all featured images accompanying such posts are intended as creative depictions of the subject matter. There is no intent to offend or misrepresent any individual, institution, or entity. If any content or imagery is found to be objectionable, please reach out to us at [email protected], and we will promptly review the concern.
About the Author: Chainwire
Get Blockchain Insights In Inbox
Stay ahead of the curve with expert analysis and market updates.
