formal-spec-generator
Pass
Audited by Gen Agent Trust Hub on Mar 29, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: No security issues detected. The skill functions as a dispatch table and decision-making guide for formal methods. It does not perform any file operations, network requests, or command executions. All content is static documentation and instructions for the agent on how to categorize user requests.
Audit Metadata