Certora Launches the First Safe AI Coding Platform for Smart Contracts
[PRESS RELEASE – Tel Aviv-Yafo, Israel, November 21st, 2025]
Certora, the full-stack safety assurance platform trusted by the most superior groups in Web3, at the moment introduced Certora AI Composer, an open-source AI coding platform that composes synthetic intelligence with formal verification to make sensible contract improvement quicker and safer.
Unlike generic “AI-for-code” instruments that concentrate on pace and comfort, Certora AI Composer ensures that each AI-generated snippet adheres to mathematical security guidelines earlier than it ever runs. By embedding Certora’s confirmed formal verification expertise immediately into the AI technology loop, builders can discover design concepts confidently whereas realizing that safety invariants are constantly checked slightly than retrofitted.
“Using AI ought to by no means imply compromising security. Certora AI Composer proves that AI and formal verification can work collectively to make sensible contract improvement reliable by default,” Certora Founder Mooly Sagiv defined. “This alpha launch is our invitation to the group to assist us form the way forward for secure autonomous coding.”
The Certora AI Composer Alpha will likely be open supply beginning Dec. 4 and will likely be accessible to the group on GitHub. Developers are inspired to experiment, present suggestions, and contribute to shaping a brand new commonplace for verified AI-driven improvement.
Key Features:
- Integrated formal verification checks for AI-generated code
- Open-source extensibility to construct your personal security modules
- Backed by the Certora Prover, Certora’s industry-trusted verification engine
Certora will even be internet hosting a livestream occasion on Dec. 4 titled “AI Meets Verification: An Open Discussion with Certora Researchers,” which can present an in depth description of how Certora AI Composer operates and what it could do to boost safety.
Users can join for the occasion HERE, and observe them on Twitter at @CertoraInc for future updates and reminders.
About Certora
Certora is the safety assurance companion trusted by the most superior groups in Web3. Founded in 2018 by pioneers in programming languages and formal strategies, Certora helps main protocols like Lido, Aave, Uniswap, and Compound safe billions in worth with confidence.
The put up Certora Launches the First Safe AI Coding Platform for Smart Contracts appeared first on CryptoPotato.