GitHub repository: sambacha/echidna-action
Description: GitHub Action to run Echidna, the Ethereum smart contract fuzzer