skills/santosomar/general-secure-coding-agent-skills/requirement-to-tlaplus-property-generator/Gen Agent Trust Hub
requirement-to-tlaplus-property-generator
Pass
Audited by Gen Agent Trust Hub on Mar 29, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill serves as a template and instructional guide for translating English requirements into TLA+ properties. It does not contain any functional code or executable scripts.
- [SAFE]: No network operations, file system access, or credential usage were detected. The content consists entirely of documentation and logical patterns for formal verification.
- [SAFE]: No obfuscation or prompt injection attempts were found within the instructions or metadata.
Audit Metadata