program-to-model-extractor
Pass
Audited by Gen Agent Trust Hub on Mar 6, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill is entirely instructional and provides mapping patterns for formal verification. It does not include any executable code or scripts.
- [DATA_EXPOSURE_AND_EXFILTRATION]: No network requests or sensitive file access patterns were detected. The skill operates purely on logical translation patterns.
- [REMOTE_CODE_EXECUTION]: No package managers, remote downloads, or script execution commands are present in the documentation or referenced files.
- [INDIRECT_PROMPT_INJECTION]: While the skill is designed to process external source code (untrusted input), it does not possess any dangerous capabilities (such as shell execution or file system writes) that could be exploited via injection. The scope is limited to text-to-text transformation for modeling purposes.
Audit Metadata