Python-based smart contract fuzzer for EVM that compiles Solidity sources, executes random call sequences, and checks property invariants with reproducible failure artifacts.