GitHub repository: sambacha/slither-scripts
Description: Auditing scripts for Slither (https://github.com/crytic/slither)