Certora Unveils Groundbreaking AI Coding Platform for Security

Certora Introduces AI Composer: A New Era for Smart Contracts

[PRESS RELEASE – Tel Aviv-Yafo, Israel, November 21st, 2025]

Certora, a leading security assurance platform favored by the most innovative teams in the Web3 landscape, has officially launched Certora AI Composer. This open-source AI coding platform seamlessly integrates artificial intelligence with formal verification, aimed at expediting and securing smart contract development.

In contrast to conventional “AI-for-code” tools that prioritize speed and ease of use, Certora AI Composer guarantees that every piece of AI-generated code complies with rigorous mathematical safety standards before execution. By embedding Certora’s established formal verification technology within the AI generation process, developers can confidently explore various design concepts, assured that security invariants are monitored in real-time rather than being applied as an afterthought.

“The use of AI should never come at the expense of safety. Certora AI Composer demonstrates that AI and formal verification can coexist to ensure smart contract development is inherently trustworthy,” stated Certora Founder Mooly Sagiv. “Our alpha release marks an open invitation for the community to collaborate with us in defining the future of secure autonomous coding.”

Starting December 4, the Certora AI Composer Alpha will be available as open source on GitHub, inviting developers to experiment, share their insights, and contribute to the evolution of a new benchmark for verified AI-driven development.

Highlight Features of Certora AI Composer

• Built-in formal verification checks for AI-generated code
• Open-source capabilities to create custom safety modules
• Supported by Certora Prover, the industry-respected verification engine

On the same day, Certora will host a livestream event titled “AI Meets Verification: An Open Discussion with Certora Researchers,” which will delve into the operational mechanics of Certora AI Composer and its potential to bolster security in smart contracts.

Interested individuals can register for the event HERE and follow Certora on Twitter at @CertoraInc for updates and event reminders.

About Certora

Certora stands as a trusted security assurance partner for the most advanced teams operating within the Web3 ecosystem. Established in 2018 by trailblazers in programming languages and formal methodologies, Certora supports leading protocols such as Lido, Aave, Uniswap, and Compound, helping them secure billions in assets with confidence.

The post Certora Launches the First Safe AI Coding Platform for Smart Contracts appeared first on CryptoPotato.