👷 We're always busy building... what do you want to see added to Audit Wizard next?

- Fuzzers like Foundry/Echidna/Medusa
- Formal Verification tools like Certora/Kontrol/Scribble
- Symbolic Execution tools like Simbolik/Pyrometer/Halmos
- Mutation Testing tools like Gambit