verus

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-tools from an external GitHub repository (https://github.com/leynos/rust-prover-tools) at setup and runtime to install and execute the tool, but the source is an individual-owned third-party repository providing common/reputable unofficial provenance, constituting a medium-tier operational dependency.