generate-counterexample
Pass
Audited by Gen Agent Trust Hub on Sep 24, 2026
Risk Level: SAFENO_CODE
Full Analysis
- [SAFE]: The skill documentation is purely instructional and does not contain any functional code or scripts.
- [SAFE]: No external URLs or remote dependencies are referenced.
- [NO_CODE]: The skill defines a logical reasoning process for generating counterexamples without any interaction with the file system or network.
Audit Metadata