Ultrafuzz is finding a number of bugs that other AI audit tools miss! It is based on novel approaches and @aviggiano's many years of fuzzing experience
Please reach out to @aviggiano if you are interested in piloting it to harden your smart contracts