property-based-testing
Pass
Audited by Gen Agent Trust Hub on Aug 14, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill defines a structured methodology for property-based testing across multiple programming languages and frameworks. It encourages standard software quality practices like defining invariants, oracles, and shrinking strategies.
- [EXTERNAL_DOWNLOADS]: The instructions reference official documentation and repositories for established testing frameworks including Hypothesis (Python), fast-check (Node.js), proptest (Rust), rapid (Go), and jqwik (Java). These links point to well-known, trusted domains.
- [COMMAND_EXECUTION]: The skill directs the agent to execute standard repository test commands (e.g., pytest, go test, npm test) to verify properties and triage counterexamples. This is a legitimate and expected function for a development-oriented skill.
- [PROMPT_INJECTION]: A static analysis warning for concealment was evaluated and found to be a false positive. The mention of 'hidden state' in the documentation refers to ensuring deterministic test environments by clearing external side effects, rather than an attempt to hide the agent's behavior from the user.
Audit Metadata