Slither
Trail of Bits (Crytic)Best for Static analyzer for Solidity and Vyper
Catch A clean run doesn't mean a contract is secure; AGPL-3.0
- Chains
Ethereum Any EVM chain- Price
- Free (open source)
Security & auditing
Static analyzers, fuzzers, formal verification and monitoring tools. Listing a tool is not a security endorsement, and no tool makes a contract safe on its own.
Chain
Results
No tool matches that yet. Try a broader word like “RPC”, “wallet” or “indexer”, or remove a filter.
Echidna
Trail of Bits (Crytic)Best for Property-based fuzzer for EVM contracts
Catch Only as good as the invariants you write; AGPL-3.0
- Chains
- Ethereum Any EVM chain
- Price
- Free (open source)
Tenderly
TenderlyBest for Transaction simulation, debugging and monitoring
Catch Team plans are quote-only, and BNB Chain wasn't on its node list
- Chains
- Ethereum
Base 
Polygon 
Arbitrum 
Avalanche +1 more - Price
- Free plan; team plans custom-quoted
Certora Prover
CertoraBest for Formal verification against rules you write
Catch Writing good CVL rules takes real effort; free tier caps at 2,000 minutes a month
- Chains
Solana 
Stellar 
Sui* (network not stated) Any EVM chain- Price
- Free tier; paid plans by contact
Trident
Ackee Blockchain SecurityBest for Fuzzing framework for Solana programs
Catch Solana only, and you write fuzz tests in Rust
- Chains
- Solana
- Price
- Free (open source)
Scout
CoinFabrikBest for Static analyzer with Soroban-specific detectors
Catch Soroban on Stellar only; the older scout-soroban repo is no longer updated
- Chains
- Stellar
- Price
- Free (open source)
OpenZeppelin Monitor
OpenZeppelinBest for Self-hosted on-chain monitoring and alerts
Catch Self-hosted, so you run and maintain it; AGPL-3.0
- Chains
- Ethereum Solana Stellar Any EVM chain
- Price
- Free (open source, self-hosted)
Move Prover (Aptos)
Aptos LabsBest for Formally verifying Aptos Move contract specifications
Catch Only proves the specs you write; needs Boogie and Z3 installed via the CLI
- Chains
Aptos* (network not stated)- Price
- Free (source-available)
Know when chain support changes
One short email when we add tools or a tool adds, drops or deprecates a chain. Nothing new, no email. Unsubscribe anytime.