{
  "slug": "zellic-v12",
  "name": "Zellic V12",
  "tagline": "LLM plus static analysis for the coding-mistake majority of Solidity bugs",
  "maintainer": "Zellic",
  "url": "https://www.zellic.io/blog/introducing-v12/",
  "category": "smart-contracts",
  "targets": [
    "Solidity"
  ],
  "approach": "LLM combined with static analysis, aimed at the roughly 70 percent of bugs that are coding mistakes",
  "license": "Announced as free; current availability and pricing not confirmed",
  "status": "Active (announced 2025-09-25)",
  "summary": "Zellic V12 is an autonomous Solidity auditor combining LLMs with static analysis. Zellic reported 39 findings across live audits, Cantina contests and a Pendle bug, and a 70.6 percent detect score on EVMbench (March 2026). Its co-founder describes it as matching junior auditors but not top firms.",
  "details": [
    "Zellic also owns Code4rena, which announced it is closing, a data point on how AI is reshaping contest economics."
  ],
  "strengths": [
    "High EVMbench detect score.",
    "Real findings in contests.",
    "Built by a top audit firm."
  ],
  "limits": [
    "Solidity only.",
    "Availability unclear.",
    "EVMbench contamination caveats apply."
  ],
  "fit": [
    "Use if available; treat as a junior-auditor pass."
  ],
  "references": [
    [
      "Introducing V12 (2025-09-25)",
      "https://www.zellic.io/blog/introducing-v12/"
    ]
  ],
  "category_name": "Smart-contract AI auditors",
  "page": "https://agentsast.com/tools/zellic-v12/",
  "updated": "2026-09-13"
}