Certora conducted a manual security audit of MEV Tax Hook Solidity smart contracts within the Ethereum ecosystem from 3 February to 7 February 2025. The following report provides details of findings and reviews.