tlaplus-spec-generator
Pass
Audited by Gen Agent Trust Hub on Mar 29, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill provides structured guidance and boilerplate code for formal verification using TLA+. The content is purely instructional and contains no executable malicious logic.
- [SAFE]: No network exfiltration, sensitive file access, or remote code execution patterns were identified. All provided examples are standard TLA+ syntax for model checking.
- [SAFE]: The skill does not include any obfuscated content or attempts to bypass safety filters.
Audit Metadata