Explore smart contract bugs using Foundry, Slither, and Echidna.