{
  "slug": "smart-contracts",
  "name": "Smart-contract AI auditors",
  "short": "smart-contract scanning",
  "title": "AI smart-contract auditing tools: Sherlock AI, AuditAgent, Zellic V12, Savant Chat, Olympix, Octane, Hound compared",
  "summary": "Commercial and open-source AI auditors for Solidity, Vyper, Rust (Solana), Move and Cairo. Published recall against human audits ranges from about 30 percent (Nethermind AuditAgent on its own audits) to about 70 percent on the EVMbench benchmark; precision on live code is around 55 percent in the one controlled study (Sherlock AI). Several also cover ZK circuit languages.",
  "intro": [
    "Smart-contract security has the most data on AI versus human auditors because contests and public audit reports make ground truth available. The picture is consistent: AI tools find a meaningful minority of what human auditors find, with a higher false-positive rate, and the leading vendors position them as a pair auditor run after or alongside manual review. Zellic's co-founder describes V12 as matching junior auditors but not top firms; Nethermind runs AuditAgent as a second layer.",
    "ZK verifier contracts and bridges are smart contracts, so these tools apply to the on-chain half of a ZK deployment. They do not analyse circuits, with the exception of Savant Chat's listed Circom, Halo2 and Noir support."
  ],
  "choose": [
    "Published recall on real audits and EVMbench: **AuditAgent** (Nethermind).",
    "Controlled precision study and PR-integrated workflow: **Sherlock AI**.",
    "Static-analysis hybrid from a top audit firm: **Zellic V12**.",
    "Per-commit CI with executable proofs of concept: **Olympix**, **Octane**.",
    "Open source and language-agnostic: **Hound**.",
    "Solidity plus ZK circuit languages in one product: **Savant Chat**."
  ],
  "tools": [
    {
      "name": "Sherlock AI",
      "page": "https://agentsast.com/tools/sherlock-ai/"
    },
    {
      "name": "AuditAgent",
      "page": "https://agentsast.com/tools/auditagent/"
    },
    {
      "name": "Zellic V12",
      "page": "https://agentsast.com/tools/zellic-v12/"
    },
    {
      "name": "Savant Chat",
      "page": "https://agentsast.com/tools/savant-chat/"
    },
    {
      "name": "Olympix",
      "page": "https://agentsast.com/tools/olympix/"
    },
    {
      "name": "Octane Security",
      "page": "https://agentsast.com/tools/octane/"
    },
    {
      "name": "Hound",
      "page": "https://agentsast.com/tools/hound/"
    },
    {
      "name": "QuillShield",
      "page": "https://agentsast.com/tools/quillshield/"
    },
    {
      "name": "Cecuro",
      "page": "https://agentsast.com/tools/cecuro/"
    },
    {
      "name": "Certora AI Composer",
      "page": "https://agentsast.com/tools/certora-ai-composer/"
    },
    {
      "name": "Immunefi Magnus",
      "page": "https://agentsast.com/tools/immunefi-magnus/"
    }
  ],
  "page": "https://agentsast.com/categories/smart-contracts/",
  "updated": "2026-09-13"
}