{
  "slug": "certora",
  "name": "Certora",
  "url": "https://www.certora.com",
  "hq": "Tel Aviv, Israel and United States",
  "focus": "Formal verification core; AI Composer for prover-checked code generation",
  "summary": "Certora's core is the open-sourced Certora Prover; its AI work (AI Composer, Concordance) uses the prover to check model output rather than to scan code. Human audits continue.",
  "why_first": "",
  "services": [
    "Formal verification of contracts",
    "AI Composer",
    "Audits"
  ],
  "tools": [
    "certora-ai-composer"
  ],
  "evidence": [
    [
      "Certora AI Composer",
      "https://www.certora.com/blog/certora-ai-composer-first-safe-ai-coding-platform"
    ]
  ],
  "fit": [
    "Choose Certora when the goal is prover-checked contract code rather than scanning."
  ],
  "rank": 11,
  "page": "https://agentsast.com/firms/certora/",
  "updated": "2026-09-13"
}