halmos
Pass
Audited by Gen Agent Trust Hub on Sep 13, 2026
Risk Level: SAFEEXTERNAL_DOWNLOADSCOMMAND_EXECUTION
Full Analysis
- [EXTERNAL_DOWNLOADS]: The documentation includes instructions to download the Halmos cheatcodes library from the official repository of a well-known organization.
- Evidence found in
references/core-setup-cheatcodes.md:forge install a16z/halmos-cheatcodes. - [COMMAND_EXECUTION]: The skill provides a command-line instruction for installing dependencies using the
forgetool. This is a standard procedure for the Foundry smart contract development environment. - Evidence:
forge install a16z/halmos-cheatcodesinreferences/core-setup-cheatcodes.md.
Audit Metadata