verus
Pass
Audited by Gen Agent Trust Hub on Oct 22, 2026
Risk Level: SAFEREMOTE_CODE_EXECUTIONEXTERNAL_DOWNLOADSCOMMAND_EXECUTION
Full Analysis
- [REMOTE_CODE_EXECUTION]: The skill's Makefile and documentation provide patterns for executing the
prover-toolsutility directly from its GitHub repository usinguv tool run, which is the intended method for managing the verification environment. - [EXTERNAL_DOWNLOADS]: The skill facilitates the retrieval of Verus binaries and helper utilities from their respective project repositories on GitHub.
- [COMMAND_EXECUTION]: Includes specific CLI patterns and Makefile targets for installing toolchains and running formal proofs, utilizing both the
prover-toolswrapper and theverusbinary. - [SAFE]: The skill incorporates robust security controls by mandating the use of SHA-256 checksums and explicit version pinning for all downloaded tools, effectively mitigating supply chain risks and ensuring repeatable, verified execution.
Audit Metadata