halmos
Pass
Audited by Gen Agent Trust Hub on Aug 4, 2026
Risk Level: SAFEEXTERNAL_DOWNLOADSCOMMAND_EXECUTION
Full Analysis
- [SAFE]: The skill serves as a legitimate educational resource for developers using the Halmos symbolic testing tool.- [EXTERNAL_DOWNLOADS]: Provides instructions to install the
halmospackage from PyPI and thehalmos-cheatcodeslibrary from the official a16z GitHub repository. These are standard and expected sources for the software described.- [COMMAND_EXECUTION]: Documents the use of thehalmoscommand-line interface for analyzing smart contract bytecode, which is the primary purpose of the tool.- [PROMPT_INJECTION]: The skill includes pedagogical content to help AI agents distinguish between symbolic testing and random fuzzing, which improves instruction following without targeting safety guardrails.
Audit Metadata