model-guided-code-repair
Pass
Audited by Gen Agent Trust Hub on Mar 6, 2026
Risk Level: SAFEPROMPT_INJECTIONNO_CODE
Full Analysis
- [PROMPT_INJECTION]: The skill processes untrusted program source code and formal specifications which could be used to deliver indirect instructions to the agent.
- Ingestion points: Program source code, formal properties, and counterexample traces in SKILL.md.
- Boundary markers: No delimiters or instructions to disregard embedded commands are present.
- Capability inventory: The workflow suggests validating repairs by running model checkers or tests (SKILL.md, Step 6).
- Sanitization: No input validation or sanitization is described for the provided code or specifications.
Audit Metadata