The Argot Collective develops and maintains open-source tooling for smart contract security, including hevm (symbolic execution engine) and Echidna (fuzzer). These tools are essential for Ethereum developers to ensure contract correctness and security.
