Certora Documentation

Set up AutoProver, run formal verification, configure project context, understand billing, and troubleshoot common issues

Use organization API keys for security-analysis runs and Certora Prover verification, with separate access and billing for each

Step-by-step guide to create, store, test, and revoke an organization API key from the API page

Combine AI Auditor, AutoFuzzer and AutoProver runs of one repository into a single "Review of" PDF, and manage your organization's report history

Create an organization API key for classic Certora Prover verification and understand monthly free minutes, balance holds, and metered billing