setup
Pass
Audited by Gen Agent Trust Hub on Oct 19, 2026
Risk Level: SAFECOMMAND_EXECUTIONEXTERNAL_DOWNLOADS
Full Analysis
- [COMMAND_EXECUTION]: The skill executes local bash scripts located in the plugin directory (
scripts/setup.sh) to configure the environment and install necessary components for formal verification. - [EXTERNAL_DOWNLOADS]: The skill instructs the agent to download and install development tools and libraries (e.g., Kani, TLA+ JAR files) from their respective official upstream sources or via standard package managers (Cargo, system package managers).
Audit Metadata