specification-generator
Pass
Audited by Gen Agent Trust Hub on Mar 6, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: No security issues were detected. The skill provides templates and instructional workflows for documenting code behavior (e.g., JML, ACSL, Dafny) without performing any sensitive operations, command executions, or external data transfers.
Audit Metadata