👷 我们一直在忙于构建... 你希望在 Audit Wizard 中添加什么功能？

- 像 Foundry/Echidna/Medusa 这样的模糊测试工具
- 像 Certora/Kontrol/Scribble 这样的形式验证工具
- 像 Simbolik/Pyrometer/Halmos 这样的符号执行工具
- 像 Gambit 这样的变异测试工具