Argot

The Argot Collective desarrolla y mantiene herramientas de código abierto para la seguridad de contratos inteligentes, incluyendo hevm (motor de ejecución simbólica) y Echidna (fuzzer). Estas herramientas son esenciales para que los desarrolladores de Ethereum aseguren la corrección y seguridad de los contratos.