Fuzzing and Formal Methods** are often seen as competing approaches to smart contract security. In this hands-on workshop, we combine insights from both, allowing participants to build a minimal EVM/Solidity smart contract fuzzer in Python within 25 minutes.