counterexample-debugger
Pass
Audited by Gen Agent Trust Hub on Mar 29, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: No security threats detected. The skill provides purely instructional content for debugging model-checker outputs.
- [SAFE]: The skill does not include any external dependencies, remote code downloads, or shell command execution.
- [SAFE]: No evidence of prompt injection or obfuscation was found in the instructions or metadata.
Audit Metadata