Slither
Solidity static analysis framework and vulnerability detectors for auditing smart contracts.
What is Slither?
Slither is a contract security framework written in Python and 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 Truffle compatible, and operational for Solidity code written in V0.4 onwards.
Web3 dapps and developer tools related to Slither
Discover blockchain applications that are frequently used with Slither.
Solvm
Delegatable
Beamer 
Developer resources from Alchemy
What are gas optimized transactions?
Learn How to Increase Mined Transaction Guarantees with Alchemy's Gas Optimized Transactions API Endpoint
Embedded accounts open beta
Make wallets invisible. Introducing simple, non-custodial accounts to onboard users and transact with web2 UX.
Zero fees, infinite complexity: building gasless transactions at scale
Consumer apps need blockchain to feel like any other payment experience. The biggest obstacle is a fee layer most users will never understand. Here's how we remove it entirely.
Slither alternatives
Explore web3 competitors and apps like Slither.
Solhint
Ethlint
Glider