👷 Her zaman inşa etmekle meşgulüz... Audit Wizard'a bundan sonra ne eklenmesini istersiniz?

- Foundry/Echidna/Medusa gibi Fuzzer'lar
- Certora/Kontrol/Scribble gibi Resmi Doğrulama araçları
- Simbolik/Pyrometer/Halmos gibi Sembolik Yürütme araçları
- Gambit gibi Mutasyon Testi araçları