[PRESS RELEASE – Tel Aviv-Yafo, Israel, November 21st, 2025]
Certora, the full-stack safety assurance platform trusted by essentially the most superior groups in Web3, in the present day introduced Certora AI Composer, an open-source AI coding platform that composes synthetic intelligence with formal verification to make good contract improvement sooner and safer.
Not like generic “AI-for-code” instruments that target velocity 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 know-how instantly into the AI era loop, builders can discover design concepts confidently whereas understanding that safety invariants are constantly checked moderately than retrofitted.
“Utilizing AI ought to by no means imply compromising security. Certora AI Composer proves that AI and formal verification can work collectively to make good contract improvement reliable by default,” Certora Founder Mooly Sagiv defined. “This alpha launch is our invitation to the neighborhood to assist us form the way forward for secure autonomous coding.”
The Certora AI Composer Alpha can be open supply beginning Dec. 4 and can be out there to the neighborhood on GitHub. Builders are inspired to experiment, present suggestions, and contribute to shaping a brand new commonplace for verified AI-driven improvement.
Key Options:
- Built-in 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 may even be internet hosting a livestream occasion on Dec. 4 titled “AI Meets Verification: An Open Dialogue with Certora Researchers,” which is able to present an in depth description of how Certora AI Composer operates and what it may possibly do to boost safety.
Customers can join the occasion HERE, and observe them on Twitter at @CertoraInc for future updates and reminders.
About Certora
Certora is the safety assurance accomplice trusted by essentially the most superior groups in Web3. Based 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 submit Certora Launches the First Protected AI Coding Platform for Sensible Contracts appeared first on CryptoPotato.