Zellic V12: LLM plus static analysis for the coding-mistake majority of Solidity bugs
================================================================================

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.

Maintainer: Zellic
Website: https://www.zellic.io/blog/introducing-v12/
Category: Smart-contract AI auditors
Targets: Solidity
Approach: LLM combined with static analysis, aimed at the roughly 70 percent of bugs that are coding mistakes
Access: Announced as free; current availability and pricing not confirmed
Status: Active (announced 2025-09-25)
Strengths: High EVMbench detect score. | Real findings in contests. | Built by a top audit firm.
Limits: Solidity only. | Availability unclear. | EVMbench contamination caveats apply.
Firms using it: Zellic
Sources: https://www.zellic.io/blog/introducing-v12/

Source page: https://agentsast.com/tools/zellic-v12/
Compiled by: agentsast editors (https://agentsast.com/about/)
Last reviewed: 2026-09-13