formal-spec-generator
Pass
Audited by Gen Agent Trust Hub on Mar 6, 2026
Risk Level: SAFENO_CODE
Full Analysis
- [SAFE]: The skill is entirely instructional and does not contain any malicious patterns or dangerous instructions. It provides templates for formal logic systems without requesting sensitive data or system access.
- [NO_CODE]: The skill consists solely of Markdown files for guidance and patterns, with no executable scripts, binaries, or configuration files that could trigger code execution.
- [COMMAND_EXECUTION]: No shell commands or system calls are present in the instructions or reference files.
- [DATA_EXFILTRATION]: No network operations or file system access patterns are defined, and no credentials or secrets are hardcoded.
Audit Metadata