tlaplus-model-reduction
Pass
Audited by Gen Agent Trust Hub on Mar 29, 2026
Risk Level: SAFENO_CODE
Full Analysis
- [SAFE]: The skill consists of documentation and configuration examples for TLA+ model reduction and does not contain any executable logic or scripts.
- [NO_CODE]: No scripts or binaries are shipped with this skill.
- [SAFE]: No network operations, file system access, or credential management patterns were identified.
- [SAFE]: No prompt injection or obfuscation techniques were found in the instructions or metadata.
Audit Metadata