AutoProver and AutoFuzzer in the Public API and CI

AI Auditor model upgrades

• Claude from Opus 4.8 to Opus 5.
• GPT 5.6 Sol (unchanged)
• Gemini 3.1 Pro (unchanged)

Standalone engines in the public API

The public REST API can now launch AutoProver and AutoFuzzer in addition to AI Auditor. Each standalone run pins one Solidity contract and an immutable commit, then uses the shared status, progress, result, and cancellation lifecycle.

• Retrieve normalized verification or test-generation reports.
• List user-visible artifacts, including generated files, with pagination and request short-lived download URLs.
• Bind a run to a same-repository pull request at launch and commit eligible generated files after successful billing settlement.

Engine-specific Guardian CI

The GitHub Action installer now creates an engine-specific Guardian workflow for AI Auditor, AutoProver, or AutoFuzzer. Standalone workflows post the appropriate verification or test-generation summary and can add generated CVL files or Foundry tests to the pull request through the organization's GitHub App.

The generated commit is verified on the follow-up workflow run, so Guardian reports the persisted result without starting or billing a second analysis.

Open API or GitHub Action from your organization sidebar to get started.