Certora

Certora is a smart-contract security company whose core product is the Certora Prover, a state-of-the-art automated formal-verification engine that checks every possible contract state and execution path to find critical vulnerabilities in smart contracts running on EVM-based chains, Solana, Stellar (Soroban), and Sui. Developers write rules in the Certora Verification Language (CVL) and submit verification jobs to Certora's cloud from the command line using the open-source certora-cli (certoraRun) tool, which authenticates with a personal access key. Alongside the Prover, Certora offers the Gambit mutation-testing tool, expert manual audits, and verification contests, and reports protecting over $100B in total value locked across major DeFi protocols. This profile was surfaced as an Electric Capital portfolio company and enriched by the API Evangelist pipeline.

Certora is profiled on the APIs.io network. Tagged areas include Company, Security, Formal Verification, Smart Contracts, and Blockchain.

Certora’s developer surface includes documentation, API reference, getting-started guide, engineering blog, pricing, signup flow, CLI, and 12 more developer resources.

🌐 Visit website 📡 Source on GitHub

30.6/100 thin ▬ flat Agent 10/100 human only Full breakdown ↓
scored 2026-07-27 · rubric v0.5

AccessSelf serve

0 APIs

CompanySecurityFormal VerificationSmart ContractsBlockchainDeveloper ToolsCLIWeb3

Kin Score

Kin Score How this is scored →
scored 2026-07-27 · rubric v0.5

Composite quality — 30.6/100 · thin

Contract Quality 0.0 / 25

Developer Ergonomics 12.2 / 20

Commercial Clarity 8.9 / 20

Operational Transparency 2.7 / 13

Governance 0.0 / 12

Discoverability 6.8 / 10

Agent readiness — 10/100 · human only

Machine-Readable Contract 0 / 18

Agentic Access Contract 0 / 15

MCP Server 0 / 12

Machine-Readable Auth 10 / 10

Idempotency 0 / 9

Stable Error Semantics 0 / 8

Request/Response Examples 0 / 7

Rate-Limit Signaling 0 / 7

Typed Event Surface 0 / 6

Agent Skills 0 / 5

Well-Known Catalog 0 / 4

Consent & Bot Identity 0 / 3

Improve this rating by publishing the missing artifacts — every area above can be raised, and the full rubric is at apis.io/rating/. This rating is computed from github.com/api-evangelist/certora: open an issue to ask a question, or submit a pull request to add artifacts. Want it done for you? Prioritized profiling — $2,500 →

Get Started 3

Portal, sign-up, and the first successful call

DeveloperPortal

DeveloperPortal

GettingStarted

GettingStarted

SignUp

SignUp

Documentation 2

Reference material describing how the API behaves

Documentation

Documentation

APIReference

APIReference

Agent Surfaces 1

MCP servers, agent skills, and machine-readable catalogs

LLMsTxt

LLMsTxt

Design & Contract 1

Pagination, idempotency, versioning, errors, and events

Lifecycle

Lifecycle

Build 4

SDKs, sample code, and the tooling you integrate with

GitHubOrganization

Packages

SDKs

CLI

Access & Security 2

Authentication, authorization, and security posture

Authentication

Authentication

DomainSecurity

DomainSecurity

Operate 1

Status, limits, changes, and where to get help

ChangeLog

ChangeLog

Commercial 3

Pricing, plans, and the legal terms of use

Pricing

Pricing

TermsOfService

TermsOfService

PrivacyPolicy

PrivacyPolicy

Company 2

The organization behind the API

Website

Website

Blog

Blog

Source (apis.yml)

aid: certora
accessModel:
  pricing: unknown
  onboarding: self-serve
  trial: false
  try_now: false
  public: false
  label: Self-serve signup
  confidence: medium
  source:
  - authentication
  generated: '2026-07-22'
  method: derived
image: https://kinlane-images.s3.amazonaws.com/shared/apis-json/icons/certora.png
name: Certora
description: Certora is a smart-contract security company whose core product is the Certora Prover, a state-of-the-art automated
  formal-verification engine that checks every possible contract state and execution path to find critical vulnerabilities
  in smart contracts running on EVM-based chains, Solana, Stellar (Soroban), and Sui. Developers write rules in the Certora
  Verification Language (CVL) and submit verification jobs to Certora's cloud from the command line using the open-source
  certora-cli (certoraRun) tool, which authenticates with a personal access key. Alongside the Prover, Certora offers the
  Gambit mutation-testing tool, expert manual audits, and verification contests, and reports protecting over $100B in total
  value locked across major DeFi protocols. This profile was surfaced as an Electric Capital portfolio company and enriched
  by the API Evangelist pipeline.
url: https://raw.githubusercontent.com/api-evangelist/certora/refs/heads/main/apis.yml
x-type: company
x-source: vc-portfolio
x-backed-by:
- electric-capital
x-tier: stub
x-tier-reason: portfolio-lead
specificationVersion: '0.20'
created: '2026-07-17'
modified: '2026-07-18'
tags:
- Company
- Security
- Formal Verification
- Smart Contracts
- Blockchain
- Developer Tools
- CLI
- Web3
apis: []
maintainers:
- FN: Kin Lane
  email: kin@apievangelist.com
- FN: APIs.json
  email: info@apis.io
common:
- type: Website
  url: https://www.certora.com/
- type: DeveloperPortal
  url: https://docs.certora.com/
- type: Documentation
  url: https://docs.certora.com/en/latest/
- type: APIReference
  url: https://docs.certora.com/en/latest/docs/prover/cli/index.html
- type: GettingStarted
  url: https://docs.certora.com/en/latest/docs/user-guide/install.html
- type: Blog
  url: https://www.certora.com/blog
- type: Pricing
  url: https://www.certora.com/pricing
- type: SignUp
  url: https://prover.certora.com/
- type: TermsOfService
  url: https://www.certora.com/terms
- type: PrivacyPolicy
  url: https://www.certora.com/privacy
- type: GitHubOrganization
  url: https://github.com/Certora
- type: Packages
  url: packages/certora-packages.yml
- type: SDKs
  url: packages/certora-packages.yml
- type: CLI
  url: cli/certora-cli.yml
- type: ChangeLog
  url: changelog/certora-changelog.yml
- type: Authentication
  url: authentication/certora-authentication.yml
- type: Lifecycle
  url: lifecycle/certora-lifecycle.yml
- type: LLMsTxt
  url: llms/certora-llms.txt
- type: DomainSecurity
  url: security/certora-domain-security.yml
x-enrichment:
  date: '2026-07-19'
  status: backfilled
  pass: local-v1
  note: backfilled from .gitignore signal + verified work evidence