Argot

O Argot Collective desenvolve e mantém ferramentas de código aberto para segurança de contratos inteligentes, incluindo hevm (mecanismo de execução simbólica) e Echidna (fuzzer). Essas ferramentas são essenciais para desenvolvedores Ethereum garantirem a correção e segurança dos contratos.