counterexample-generator
Pass
Audited by Gen Agent Trust Hub on Mar 6, 2026
Risk Level: SAFENO_CODE
Full Analysis
- [SAFE]: The skill was analyzed for all 10 threat categories, and no issues were identified. The content is purely educational, providing patterns and workflows for generating counterexamples to failed specifications.
- [NO_CODE]: The skill contains no executable scripts (Python, Node.js, Shell, etc.) or binary files. It consists entirely of markdown documentation, which significantly reduces the attack surface for most technical vulnerabilities.
Audit Metadata