kani
Warn
Audited by Snyk on Nov 10, 2026
Risk Level: MEDIUM
Full Analysis
MEDIUM W012: Unverifiable external dependency detected (runtime URL that controls agent).
- Potentially malicious external URL detected (medium risk: 0.30). The skill references
rust-prover-toolsfrom GitHub (https://github.com/leynos/rust-prover-tools), which is an unverified third-party/community repository used at setup time to install and pin verification tools.
Issues (1)
W012
MEDIUMUnverifiable external dependency detected (runtime URL that controls agent).
Audit Metadata