rust-verification
Pass
Audited by Gen Agent Trust Hub on Jul 9, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill serves as a documentation and strategy guide for Rust developers. It does not contain executable code, automated scripts, or commands that modify the system environment.
- [EXTERNAL_DOWNLOADS]: The skill mentions external resources, specifically the installation source for verification tools at 'github.com/leynos/rust-prover-tools'. This is a standard reference to the author's own utility repository for the described tools and does not involve automated or hidden execution.
- [PROMPT_INJECTION]: No attempts to override agent behavior, bypass safety filters, or extract system prompts were found in the instructional text.
- [DATA_EXFILTRATION]: No patterns involving the access or transmission of sensitive local data or credentials were observed.
Audit Metadata