halmos
Pass
Audited by Gen Agent Trust Hub on Feb 28, 2026
Risk Level: SAFENO_CODEEXTERNAL_DOWNLOADS
Full Analysis
- [NO_CODE]: The skill consists of Markdown documentation files only. It does not include any executable scripts, binaries, or configuration files that could be run by an agent.
- [EXTERNAL_DOWNLOADS]: The documentation includes instructions for installing tools from the
a16z/halmos-cheatcodesrepository. This is a well-known and reputable source in the smart contract development community. - [SAFE]: Extensive review of the prompt instructions and reference materials reveals no signs of prompt injection, data exfiltration, or obfuscation. The skill's behavior is consistent with its stated purpose.
Audit Metadata