model-guided-code-repair
Pass
Audited by Gen Agent Trust Hub on Mar 29, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill consists entirely of high-level instructions for logic reasoning and fault localization. It describes a methodology for mapping model checker violations to code fixes without including any executable scripts, network operations, or sensitive data access. No malicious patterns such as prompt injection, obfuscation, or unauthorized command execution were found.
Audit Metadata