skills/santosomar/general-secure-coding-agent-skills/specification-to-temporal-logic-generator/Gen Agent Trust Hub
specification-to-temporal-logic-generator
Pass
Audited by Gen Agent Trust Hub on Mar 29, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill is a pure instruction set (no-code) designed to assist users in formal verification tasks. It includes markdown documentation, pattern matching tables, and logic examples. No security risks were identified in the instructions or metadata.
Audit Metadata