Certora · Authentication Profile

Certora Authentication

Authentication

Certora secures its APIs with apiKey across 1 declared security scheme, as derived from its OpenAPI definitions.

CompanySecurityFormal VerificationSmart ContractsBlockchainDeveloper ToolsCLIWeb3
Methods: apiKey Schemes: 1 OAuth flows: API key in: environment

Security Schemes

personalAccessKey apiKey
· in: environment (CERTORAKEY)

Source

Authentication Profile

certora-authentication.yml Raw ↑ 
generated: '2026-07-18'
method: searched
source: https://docs.certora.com/en/latest/docs/user-guide/install.html
docs: https://docs.certora.com/en/latest/docs/user-guide/install.html
summary:
  types: [apiKey]
  api_key_in: [environment]
notes: >-
  The Certora Prover cloud service is authenticated with a per-user personal
  access key. After installing certora-cli, the key is obtained from the Certora
  Prover web application and supplied to the certoraRun tool via the CERTORAKEY
  environment variable. There is no public OAuth or REST securityScheme; the CLI
  is the sole documented client of the verification backend.
schemes:
- name: personalAccessKey
  type: apiKey
  in: environment
  parameter: CERTORAKEY
  source: docs.certora.com/en/latest/docs/user-guide/install.html