# Certora

**Canonical:** https://apis.io/providers/certora/  
**Website:** https://www.certora.com/  
**APIs profiled:** 0

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.

## Kin Score — 30.4 / 100 (thin)

Scored 2026-08-20 under rubric 0.12.0. Trend: flat (+0.0 from 30.4).

| Facet | Score |
|---|---|
| Discoverability | 57.4 |
| Contract Quality | 0.0 |
| Governance | 0.0 |
| Contract Governance | 0.0 |
| Operational Transparency | 18.4 |
| Developer Ergonomics | 66.7 |
| Commercial Clarity | 44.7 |
| Access Clarity | 44.7 |

## Agent readiness — 8.5 (agent-aware)

| Dimension | Value |
|---|---|
| Spec Presence | no |
| Agentic Access | no |
| Reversibility Documented | no |
| MCP Server | no |
| Auth Clarity | yes |
| Idempotency | no |
| Error Semantics | no |
| OpenAPI Examples | no |
| Rate Limit Signal | no |
| Event Surface Described | no |
| Agent Skills | no |
| Well Known Catalog | no |
| Consent Identity | no |
| Agent Card | no |
| Dry Run Mode | no |

## Access

Self-serve signup — onboarding: self-serve, pricing: unknown, trial: no (confidence: medium).

## Security (2)

- **Certora Authentication** — apiKey · 1 scheme
- **Certora Domain Security** — TLSv1.3 · HSTS · DNSSEC · DMARC

## Tags

Company, Security, Formal Verification, Smart Contracts, Blockchain, Developer Tools, CLI, Web3

---

Profiled by [API Evangelist](https://apievangelist.com) and published on [APIs.io](https://apis.io/providers/certora/). Scores are computed from the provider's own public artifacts under a published rubric.