AI Auditors Battleground

Comparing smart contract security tools: Pre-AI vs AI-Powered

About this data: Tool information is aggregated from public sources and vendor claims. "Verified findings" are self-reported, not independently confirmed. This site does not endorse any tool or guarantee accuracy. See Claims page for methodology and limitations.
36
Pre-AI Tools
17
AI Auditors (LLM)
1
AI-Assisted Human
9
Competitions
🤖

AI & Automated Auditors

LLM-based auditors & Non-LLM audit bots tools.yaml findings.csv
NameCategoryFeaturesPricingStatusYearFunding
Sherlock AI
Sherlock
Verified Finds: $2M withdrawal bug in lending protocol (pre-launch)
AI Auditor (LLM)
  • Trained on real Sherlock contest findings
  • GitHub integration (PR/commit scanning)
  • Built by elite auditors (0x52, Bernhard Mueller)
 Beta (contact for pricing) Active 2025 N/A (Part of Sherlock platform)
AgentLISA
AgentLISA (NTU-backed)
Verified Finds: 5 high-severity audit contest projects (XLaunch, QAMarketplace, PauserRegistry, etc.)OWASP Top 10 vulnerability detection
AI Auditor (LLM)
  • TrustLLM multi-agent framework
  • Business logic vulnerability detection
  • 14 chain support (ETH, Solana, Base, Arbitrum, etc.)
 $0.50-$5 per scan Active 2025 $12M
Cantina Code Analyzer
Cantina (Spearbit)
 AI Auditor (LLM)
  • High-signal vulnerability detection
  • Low false positive focus
  • Built by Spearbit's elite security network
 Unknown (waitlist) Waitlist 2025 $14.83M (Cantina/Spearbit total - Framework Ventures, Nascent, 1kx, Volt Capital)
maxzuvex
Independent (MaxZuvex)
 AI-Assisted Human-in-Loop
  • LLM-based vulnerability detection
  • Human-guided pipeline (not fully automated)
  • Multi-language support (Solidity, Rust, Move, Assembly)
 Private (not for sale) Inactive 2025 -
Octane
Octane Security
Verified Finds: Refund calculation bug in Decent (post-2 audits)Inflatable token vault price oracle exploit in Decent
AI Auditor (LLM)
  • CI/CD integration (PR scanning)
  • AI-powered Code Fix Engine
  • Protocol-specific vulnerability detection
 Contact for pricing (custom plans via demo) Active 2024 $6.75M Seed (Archetype, Winklevoss Capital, Gemini, Circle)
Almanax
Almanax
Verified Finds: #4 in Cantina Citrea (out of 479 auditors)#6 in Code4rena Succinct SP1 (out of 12, $4128 prize)
AI Auditor (LLM)
  • LLM-powered deep analysis
  • Complex logical vulnerability detection
  • Web3 Security Atlas (open dataset)
 Contact for pricing Active 2024 $1M Seed (Defy, Exor, Italian Angels for Growth)
V12
Zellic
Verified Finds: $5M integer overflow bug (USDT stolen)$335K transient memory misuse
AI Auditor (LLM)
  • Hybrid AI + static analysis
  • PDF report generation
  • Code4rena pre-audit integration (marks findings out-of-scope)
 Free (usage-based billing, no subscription) Active 2024 N/A (Part of Zellic, which owns Code4rena)
AuditAgent
Nethermind
Verified Finds: ResupplyFi exchange rate miscalculation30% recall rate across 29 internal audits
AI Auditor (LLM)
  • Powered by OpenAI & Anthropic models
  • Static + dynamic analysis combined
  • Trained on real Nethermind audits
 Free tier available Active 2024 -
QuillShield
QuillAudits
 AI Auditor (LLM)
  • Reinforcement Learning code repair
  • One-click vulnerability fixes
  • GitHub integration
 Freemium Active 2024 -
ChainGPT Auditor
ChainGPT
 AI Auditor (LLM)
  • Multi-chain (ETH, BSC, Arbitrum, Avalanche, Solana)
  • 4-segment audit reports
  • API & SDK access
 1 credit ($0.01) per audit, 10 free/day Active 2024 $4.2M total
The Hound
Independent (Bernhard Mueller)
Verified Finds: Code4rena SecondSwap: 10 true positives (1 High, 7 Medium)Smart contract vulnerability detection via LLM agents
AI Auditor (LLM)
  • Attacker mindset simulation
  • Cross-function vulnerability analysis
  • Language-agnostic design
 Research/Proof of concept Inactive 2024 -
AI Audit
Hashlock
 AI Auditor (LLM)
  • Solidity & Rust support
  • GitHub integration
  • Industry-standard report format
 Free Active 2024 -
Bevor AI
Bevor
 AI Auditor (LLM)
  • Full lifecycle security
  • AI-powered analysis
 Unknown Active 2024 -
Bug Hunter
Truscova
 AI Auditor (LLM)
  • 70 vulnerability detectors
  • <5% false positive rate
  • 50+ lines/second scan speed
 Free (Beta) Active 2024 -
QuantPulsar
QuantPulsar (Switzerland)
 AI Auditor (LLM)
  • 20+ specialized AI agents
  • 40,000+ exploit database
  • False positive remover
 Free ($3 credits/mo) / Pro $600/mo / Enterprise custom Active 2024 -
Savant.chat
Novel Codes DMCC
Verified Finds: #6 out of 39 in Sherlock Symbiotic Relay (1 finding: Operator's stake ignored on re-registration due to stale state)Yearn Finance yETH exploit root cause reproduced ($9M hack)
AI Auditor (LLM)
  • Multi-agent LLM system
  • CI/CD integration
  • Enterprise privacy options
 Free ($75 credits) / Paid tiers available Active 2024 -
Smart Auditor
Defensahacker LLC
 AI Auditor (LLM)
  • 21 blockchain support
  • OpenAI & Gemini integration
  • Fuzzing (in development)
 Free tier available Active 2024 -
ZeroCool
ZeroCool AI
Verified Finds: Solarity solidity-lib audit: 2 Critical, 4 High, 1 Medium, 6 Low, 2 Info (15 total)
AI Auditor (LLM)
  • AI-powered deep vulnerability detection
  • Cryptographic verification analysis
  • ERC-4337 compatibility checking
 Unknown (interest list) Active 2024 -
⚡

Pre-AI Tools

Static analysis, symbolic execution, formal verification, fuzzing tools.yaml
NameCategoryFeaturesPricingStatusYear
Recon
GetRecon
 Testing Platform
  • Cloud fuzzing (Medusa, Echidna, Halmos, Kontrol)
  • One-click sharing and corpus reuse
  • PR/commit/API automation triggers
 Commercial (Recon Pro) Active 2024
Aderyn
Cyfrin
 Static Analysis
  • Rust-based high performance
  • Extensible detector system
  • Markdown report generation
 Free (Open Source) Active 2023
Kontrol
Runtime Verification
 Formal Verification
  • Built on KEVM (formal EVM semantics)
  • Foundry test integration
  • Loop invariant support (unique)
 Free (Open Source, BSD-3) Active 2023
Medusa
Trail of Bits
 Fuzz Testing
  • Parallel fuzzing across workers
  • Go API for custom harnesses
  • Built-in assertion testing
 Free (Open Source) Active 2023
Solodit
Cyfrin
 Research Database
  • 8,000+ vulnerability database
  • Bug bounty tracking
  • Audit report aggregation
 Free Active 2023
LightChaser
ChaseTheLight
 Audit Bot (Non-LLM)
  • 1,000+ vulnerability detectors
  • 100+ gas optimization detectors
  • 24h report delivery guarantee
 $997 (Trial $447) Active 2023
Foundry (Forge)
Paradigm
Verified Finds: Beanstalk Wells invariant violation (HIGH)
Fuzz Testing / Framework
  • Fuzz testing built-in
  • Invariant testing
  • Fork testing (live chain)
 Free (Open Source) Active 2021
hevm
DappHub / Ethereum Foundation
 Symbolic Execution
  • Symbolic execution of Forge tests
  • Equivalence checking between bytecode
  • SMT solver support (z3, cvc4)
 Free (Open Source) Active 2020
Certora Prover
Certora
Verified Finds: MakerDAO Fundamental Equation bug (4 years undetected)SushiSwap Trident pool drain vulnerability
Formal Verification
  • Certora Verification Language (CVL)
  • Mathematical correctness proofs
  • Counterexample generation
 Commercial (recently open-sourced prover) Active 2020
MythX
Consensys
 Platform
  • Multiple analysis techniques
  • API access
  • CI/CD integration
 Freemium Active 2019
Slither
Trail of Bits
Verified Finds: Edgeware Lockdrop DoS bug ($900M at risk)SushiSwap MISO msg.value reuse ($350M saved)
Static Analysis
  • 93 vulnerability detectors
  • Python-based extensible architecture
  • Printers for contract visualization
 Free (Open Source) Active 2018
KEVM
Runtime Verification
 Formal Verification
  • Mathematically rigorous EVM spec
  • Reachability logic proofs
  • Used by Kontrol
 Free (Open Source) Active 2018
Echidna
Trail of Bits
Verified Finds: 0x Protocol order cancellation bugs
Fuzz Testing
  • Property-based testing
  • Grammar-based fuzzing
  • Coverage reporting
 Free (Open Source) Active 2018
Mythril
Consensys Diligence
Verified Finds: Parity Wallet SELFDESTRUCT ($280M frozen)
Symbolic Execution
  • Symbolic execution engine
  • Bytecode-level analysis
  • SMT solver integration
 Free (Open Source) Active 2017
Manticore
Trail of Bits
 Symbolic Execution
  • Program exploration with symbolic inputs
  • Automatic counterexample generation
  • Python API for custom analysis
 Free (Open Source) Active 2017
Halmos
a16z
 Formal Verification
  • Symbolic testing of bytecode
  • Works with existing Foundry tests
  • Bounded model checking
 Free (Open Source) Inactive 2023
ItyFuzz
Fuzzland
Verified Finds: 126 vulnerabilities in large real-world projects$500K+ in exploitable assets across 21 vulnerable projects
Fuzz Testing
  • Snapshot-based fuzzing algorithm
  • Hybrid symbolic execution + fuzzing
  • Chain forking (any chain, any block)
 Free (Open Source) Inactive 2023
Pyrometer
Nascent
 Static Analysis
  • Abstract interpretation engine
  • Symbolic execution
  • Branch constraint analysis
 Free (Open Source) Inactive 2023
Coypu
Community (aviggiano)
 Audit Bot (Non-LLM)
  • Community-driven development
  • Prize sharing via multisig
  • Open contribution model
 Free (Open Source) Inactive 2023
Bot-Racer
DadeKuma
 Bot Tooling
  • Bot race assistance
  • Report generation
  • Judge evaluation tools
 Free (Open Source) Inactive 2023
TragedyOTCommons (IllIllI-bot)
IllIllI
 Audit Bot (Non-LLM) Private Inactive 2023
Hound
DadeKuma
 Audit Bot (Non-LLM) Private Inactive 2023
Henry
henry
 Audit Bot (Non-LLM) Private Inactive 2023
vuln-detector
oualidpro
 Audit Bot (Non-LLM) Private Inactive 2023
0x6980-bot
27008
 Audit Bot (Non-LLM) Private Inactive 2023
znBotty
Rolezn
 Audit Bot (Non-LLM) Private Inactive 2023
The_Madaladinator
The_Madaladinator
 Audit Bot (Non-LLM) Private Inactive 2023
c4lanky
c4lanky
 Audit Bot (Non-LLM) Private Inactive 2023
Cygnet
rjs
 Audit Bot (Non-LLM) Private Inactive 2023
Pechenkata
Pechenkata
 Audit Bot (Non-LLM) Private Inactive 2023
MrsHudson
MrsHudson
 Audit Bot (Non-LLM) Private Inactive 2023
Tera
Tera
 Audit Bot (Non-LLM) Private Inactive 2023
zz_plus_ultra
zz_plus_ultra
 Audit Bot (Non-LLM) Private Inactive 2023
Simple Security Toolkit
Nascent
 Checklist / Guide
  • Audit readiness checklist
  • Pre-launch security checklist
  • Development process guide
 Free (Open Source) Inactive 2022
4naly3er
Picodes (Open Source)
 Audit Bot (Non-LLM)
  • RegEx-based detectors
  • AST analysis (solidity-ast)
  • Markdown report output
 Free (Open Source) Inactive Oct 2022
Securify2
ChainSecurity (ETH Zurich)
 Static Analysis
  • Datalog-based analysis
  • Pattern matching engine
  • Academic research backing
 Free (Open Source) Inactive 2018
🏆

Audit Competitions

Competitive audit platforms & bug bounties audit-competitions.yaml
NameFeaturesStatusYear
Cantina
Cantina (Spearbit)
  • Competitive audit contests
  • Private security reviews
  • Guild system for researchers
  • Managed by Spearbit
 Active 2023
CodeHawks
Cyfrin
  • Competitive audit contests
  • First Flights (beginner contests)
  • Educational focus
  • Integration with Cyfrin Updraft
 Active 2023
Secure3
Secure3
  • Competitive audits
  • AI-assisted analysis
  • Hybrid human + AI approach
 Active 2023
Solodit Contests
Cyfrin
  • Vulnerability aggregation
  • Cross-platform search
  • Occasional contests
 Active 2023
AuditOne
AuditOne
  • Decentralized audit network
  • Token incentives
  • Community governance
 Active 2023
Sherlock
Sherlock Protocol
  • Competitive audit contests
  • Smart contract coverage (up to $10M)
  • Lead Senior Watson system
  • AI-assisted auditing (Sherlock AI)
 Active 2022
Hats Finance
Hats Finance
  • Decentralized bug bounties
  • On-chain prize vaults
  • Permissionless submissions
  • Audit competitions
 Inactive 2022
Code4rena
Code4rena
  • Competitive audit contests
  • Bot races for automated tools
  • PJQA (Post-Judging QA)
  • Lookout system for initial triage
 Active 2021
Immunefi
Immunefi
  • Ongoing bug bounty programs
  • Boost contests (time-boxed)
  • KYC for large payouts
  • Mediation services
 Active 2020