skills/santosomar/general-secure-coding-agent-skills/program-to-tlaplus-spec-generator/Gen Agent Trust Hub
program-to-tlaplus-spec-generator
Pass
Audited by Gen Agent Trust Hub on Mar 29, 2026
Risk Level: SAFENO_CODE
Full Analysis
- [SAFE]: The skill consists solely of markdown instructions and examples for formal modeling. It does not perform any automated actions, network requests, or file system modifications.
- [NO_CODE]: There are no executable scripts or automation logic included in the skill package, preventing any direct execution of malicious commands.
- [SAFE]: The skill instructs the agent to process untrusted code as input (Ingestion points) but provides no executable capabilities or tool access (Capability inventory), precluding risks of indirect prompt injection.
Audit Metadata