Argot

Argot Collective 开发和维护智能合约安全领域的开源工具，包括 hevm（符号执行引擎）和 Echidna（模糊测试器）。这些工具对于以太坊开发者确保合约的正确性和安全性至关重要。