28 Security Tools
28
Total Tools
4.2s
Avg Time
8x
Parallel Workers
-54%
FP Reduction
Static Analysis (10)
Slither
3.2s
Aderyn
1.8s
Solhint
0.4s
Wake
2.1s
4naly3er
1.5s
Securify2
5.8s
SmartCheck
2.0s
Oyente
8.5s
Vandal
3.4s
Ethlint
0.3s
Dynamic / Fuzzing (6)
Mythril
45s
Echidna
120s
Medusa
8.4s
Foundry Fuzz
15s
Harvey
30s
Manticore
180s
Formal Verification (3)
Halmos
60s
Certora
90s
HEVM
40s
LLM Agents (4)
Gemini 3
12s
Claude
8s
GPT-4
10s
Custom Agent
—
Drain-Focused (5)
ReentrancyDrain
2.1s
FlashLoanDrain
3.5s
OracleDrain
2.8s
BridgeDrain
4.2s
GovernanceDrain
3.0s