The Agent Skills Directory

[SAFE]: No malicious patterns or security risks were detected. The skill is educational and provides templates and guidelines for software testing.
[EXTERNAL_DOWNLOADS]: The skill mentions and recommends several well-known Rust libraries including proptest, proptest-derive, and test-strategy. These are standard, reputable open-source packages in the Rust ecosystem. It also references official documentation on GitHub and Docs.rs.
[COMMAND_EXECUTION]: Instructions describe the standard use of the cargo test runner and the configuration of test parameters through environment variables (e.g., PROPTEST_CASES, PROPTEST_FORK). This is standard development practice.
[DATA_EXFILTRATION]: No patterns indicative of sensitive data access or unauthorized network communication were found.
[PROMPT_INJECTION]: No attempts to override agent instructions, bypass safety filters, or extract system prompts were detected.

proptest