👷 Estamos sempre ocupados construindo... o que você gostaria de ver adicionado ao Audit Wizard a seguir?

- Fuzzers como Foundry/Echidna/Medusa
- Ferramentas de Verificação Formal como Certora/Kontrol/Scribble
- Ferramentas de Execução Simbólica como Simbolik/Pyrometer/Halmos
- Ferramentas de Teste de Mutação como Gambit