AI smart-contract auditing tools: Sherlock AI, AuditAgent, Zellic V12, Savant Chat, Olympix, Octane, Hound compared
================================================================================

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.

Sherlock AI: Sherlock — Solidity, EVM — Multi-step LLM reasoning trained on top researchers' findings; GitHub PR integration; codebase chat; verification tests for fixes — Active (v2 May 2026)
AuditAgent: Nethermind Security — EVM, Solana, Starknet — LLM agent run after manual review as a second layer — Active
Zellic V12: Zellic — Solidity — LLM combined with static analysis, aimed at the roughly 70 percent of bugs that are coding mistakes — Active (announced 2025-09-25)
Savant Chat: Novel Codes DMCC — Solidity, Vyper, Rust, Move, Cairo, FunC, Circom, Halo2, Noir, arkworks — Multi-agent LLM stack across 200+ vulnerability classes; critic subagent writes a PoC per finding on higher tiers — Active
Olympix: Olympix — Solidity — IR and custom detectors, symbolic execution, fuzzing, mutation testing plus AI, with executable PoCs, run per commit — Active (founded 2022)
Octane Security: Octane — EVM, Solana, Aptos, Sui, Cosmos — Continuous AI scanning with automated fixes — Active (6.75 million dollar seed)
Hound: Bernhard Mueller (scabench-org) — Language-agnostic, Solidity — Relation-first knowledge graphs, persistent vulnerability hypotheses, scout and strategist model switching — Active (paper 2025-10)
QuillShield: QuillAudits — Solidity — AI audits plus open-source Claude skills using a 'Semantic State Protocol' (behavioral decomposition, threat modeling, adversarial simulation, risk scoring) — Active
Cecuro: Cecuro — DeFi contracts — Specialised agent; benchmark and baseline open-sourced, agent withheld — Active
Certora AI Composer: Certora — Solidity — Secure generation: model writes code, the formal prover checks invariants before acceptance — Alpha
Immunefi Magnus: Immunefi — Smart contracts, Bounty programs — Security Swarm agents, Fuzzland AI fuzzing integration, CODEX vulnerability dataset — Active
How to 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**.

Source page: https://agentsast.com/categories/smart-contracts/
Compiled by: agentsast editors (https://agentsast.com/about/)
Last reviewed: 2026-09-13