tlaplus-model-reduction
Pass
Audited by Gen Agent Trust Hub on Mar 6, 2026
Risk Level: SAFENO_CODE
Full Analysis
- [NO_CODE]: No code or scripts were found in 'SKILL.md' or 'references/reduction_techniques.md'. The skill is purely instructional markdown and does not include executable logic.
- [SAFE]: No malicious patterns, prompt injections, or unauthorized network or file operations were detected across the analyzed files. The skill correctly limits its scope to formal specification analysis without providing dangerous capabilities.
Audit Metadata