
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.
Developer resources from Alchemy

Solidity gas optimization: 12 techniques to make your smart contracts cheaper and more efficient
Want to write better code and lower your gas fees?

What are zero-knowledge rollups (ZK-rollups)?
Explore ZK-rollups, a fast-growing L2 design. Learn how they cut costs, enable instant finality, and boost security.

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.
App store listings are independently reviewed and written by Alchemy using a combination of inbound submissions, editorial research, public project sources, and third-party directories, including ecosystem data from The Grid under the Open Database License, DefiLlama, DappRadar, Reown, and chain ecosystem pages.

