rust-verification
Pass
Audited by Gen Agent Trust Hub on Oct 22, 2026
Risk Level: SAFE
Full Analysis
- [EXTERNAL_DOWNLOADS]: The skill references an external GitHub repository (
https://github.com/leynos/rust-prover-tools) as the source for installing verification tools like Kani and Verus. This resource is provided by the skill's author and aligns with the intended functionality of the guidance provided.
Audit Metadata