Certora: AI-assisted security audits for cryptography and ZK
============================================================

Certora's core is the open-sourced Certora Prover; its AI work (AI Composer, Concordance) uses the prover to check model output rather than to scan code. Human audits continue.

Website: https://www.certora.com
Headquarters: Tel Aviv, Israel and United States
Focus: Formal verification core; AI Composer for prover-checked code generation
Index position: #11 of 12
Services: Formal verification of contracts | AI Composer | Audits
Tools: Certora AI Composer
Evidence: https://www.certora.com/blog/certora-ai-composer-first-safe-ai-coding-platform

Source page: https://agentsast.com/firms/certora/
Compiled by: agentsast editors (https://agentsast.com/about/)
Last reviewed: 2026-09-13