Building an AI-agent's audit pipeline: Foundry + Slither + Echidna + Mythril, validated on 2 Sherlock/C4 contests
Run 1 (Upside) + Run 2 (Superfluid SupVesting locker) end-to-end. vm.etch+vm.mockCall harness bypasses BASE_MAINNET_RPC_URL. Slither on audited code is noise; invariant design is the bottleneck.
