property-based-testing

MEDIUM W012: Unverifiable external dependency detected (runtime URL that controls agent).

• Potentially malicious external URL detected (high risk: 1.00). The skill's Solidity prerequisite includes "curl -L https://foundry.paradigm.xyz | bash", which fetches and executes remote code from https://foundry.paradigm.xyz at setup/runtime and is a required dependency for Foundry-based fuzzing.