new-invariant
Pass
Audited by Gen Agent Trust Hub on Apr 27, 2026
Risk Level: SAFECOMMAND_EXECUTION
Full Analysis
- [COMMAND_EXECUTION]: The skill executes several local development commands to validate generated code, including 'cargo fmt', 'cargo clippy', 'cargo nextest', and a project-specific shell script './jolt-eval/sync_targets.sh'. These operations are confined to the local project environment and represent standard development workflows.
- [SAFE]: The skill does not perform external network operations, access sensitive system files (e.g., credentials, SSH keys), or employ obfuscation. It includes explicit validation rules for user-supplied arguments to ensure they conform to valid Rust naming conventions, mitigating potential malformed code generation.
Audit Metadata