Changelog
Stay up to date with the latest features, improvements, and bug fixes.
Oct 15, 2026
LatestProver Jobs, Mutation Reports and a Timeout Resolver API
v3.2.0Certora AutoProver 3.2.0 brings the Certora Prover into your dashboard. A new **Prover Jobs** page lists and manages you...
Sep 29, 2026
Review Reports You Can Share and Verify
v3.1.2Certora AutoProver 3.1.2 introduces **Report**. Turn completed AI Auditor, AutoFuzzer and AutoProver runs of one reposit...
Sep 22, 2026
A New Model Lineup for AI Auditor, at a Lower Price
v3.1.1Certora AutoProver 3.1.1 moves AI Auditor to a newer generation of models in both Normal and Frontier modes, and lowers...
Sep 21, 2026
Automatic Context, Frontier Mode, and Audits That Report Inside GitHub
v3.1.0Certora AutoProver 3.1.0 brings automatic audit context to the dashboard, public API, GitHub Action, and Codex and Claud...
Aug 12, 2026
The v2 API, Size-Aware Pricing, and Sharper Reports
v3.0.2Certora AutoProver 3.0.2 rebuilds the public API around a single run lifecycle, replaces flat per-contract pricing with...
Jul 27, 2026
AutoProver and AutoFuzzer in the Public API and CI
v3.0.1The public REST API can now launch **AutoProver** and **AutoFuzzer** in addition to **AI Auditor**. Each standalone run...
Jul 15, 2026
Certora AutoProver public release
v3.0.0AutoProver turns contract intent into formal properties and verifies generated CVL rules with the Certora Prover. A stan...