Slither
Slither is a Solidity and Vyper static analysis framework with vulnerability detectors for auditing smart contracts.
What is Slither?
Slither is a Solidity and Vyper static analysis framework written in Python, first conceived in a 2019 paper from Josselin Feist, Gustavo Grieco, and Alex Groce. The Slither framework provides automated vulnerability and optimization detection, as well as assistive codebase summaries to further developer comprehension. Born of Crytic, the blockchain security arm of Trail of Bits, Slither is Hardhat and Foundry compatible, and supports Solidity code written in V0.4 onwards as well as Vyper smart contracts.
Web3 dapps and developer tools related to Slither
Discover blockchain applications that are frequently used with Slither.
Solidcheck
Superchain Dev Console
RubyScore
Loop Decoder
Developer resources from Alchemy
The 6 best Solidity IDEs for developers (2026)
Explore the best IDEs for Solidity development.
Smart accounts adoption accelerated in Q4 2023
ERC-4337 smart account adoption saw major growth in the fourth quarter of 2024, surpassing 1 million total deployed accounts!
Metropolis makes it easy to deploy smart contracts using Alchemy's account abstraction infrastructure
Learn how Metropolis is leveraging Alchemy's account abstraction infrastructure to redefine smart contract deployment with their new product, Metal.
Slither alternatives
Explore web3 competitors and apps like Slither.
Solhint for IntelliJ
Solhint
Solhint-Prettier Plugin
PRBTest