👷 私たちは常に構築に忙しいです... あなたはAudit Wizardに何を追加してほしいですか？

- Foundry/Echidna/Medusaのようなファッザー
- Certora/Kontrol/Scribbleのような形式的検証ツール
- Simbolik/Pyrometer/Halmosのようなシンボリックエグゼキューションツール
- Gambitのようなミューテーションテストツール