Argot

Argot Collective 開發並維護智慧合約安全相關的開源工具，包括 hevm（符號執行引擎）和 Echidna（模糊測試器）。這些工具對 Ethereum 開發者確保合約正確性與安全性至關重要。