[PRESS RELEASE – Tel Aviv-Yafo, Israel, November 21st, 2025]
Certora, the full-stack safety assurance platform trusted by probably the most superior groups in Web3, at this time introduced Certora AI Composer, an open-source AI coding platform that composes synthetic intelligence with formal verification to make sensible contract growth quicker and safer.
Not like generic “AI-for-code” instruments that concentrate on 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 immediately into the AI era loop, builders can discover design concepts confidently whereas realizing that safety invariants are constantly checked slightly 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 sensible contract growth 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 will likely be open supply beginning Dec. 4 and will likely be accessible to the neighborhood on GitHub. Builders are inspired to experiment, present suggestions, and contribute to shaping a brand new customary for verified AI-driven growth.
Key Options:
- Built-in formal verification checks for AI-generated code
- Open-source extensibility to construct your individual security modules
- Backed by the Certora Prover, Certora’s industry-trusted verification engine
Certora can 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 will probably do to reinforce safety.
Customers can join the occasion HERE, and comply with them on Twitter at @CertoraInc for future updates and reminders.
About Certora
Certora is the safety assurance companion trusted by probably 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.
SECRET PARTNERSHIP BONUS for CryptoPotato readers: Use this hyperlink to register and unlock $1,500 in unique BingX Trade rewards (restricted time provide).
