property-based-testing
Pass
Audited by Gen Agent Trust Hub on Feb 28, 2026
Risk Level: SAFE
Full Analysis
- [EXTERNAL_DOWNLOADS]: The skill references installation of standard, well-known property-based testing libraries such as Hypothesis (Python), fast-check (Node.js), and proptest (Rust) via official package managers.
- [REMOTE_CODE_EXECUTION]: Provides instructions for installing security tools like Echidna and Medusa from official GitHub repositories (github.com/crytic), which are established tools for smart contract auditing.
- [COMMAND_EXECUTION]: Includes example commands for running tests with standard utilities like pytest, npm, and cargo, intended for use by the developer in their local environment.
- [PROMPT_INJECTION]: The instructions are strictly technical and instructional; no patterns were found that attempt to override agent constraints, bypass safety filters, or extract system prompts.
- [DATA_EXFILTRATION]: No hardcoded credentials, sensitive file paths, or unauthorized network communication patterns were detected. References to external documentation like secure-contracts.com are for educational purposes.
Audit Metadata