[PRESS RELEASE – Tel Aviv-Yafo, Israel, November 21st, 2025] 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 exp

Czytaj więcej

We współpracy z: https://cryptopotato.com/certora-launches-the-first-safe-ai-coding-platform-for-smart-contracts/