mermaid-to-proverif
Pass
Audited by Gen Agent Trust Hub on Jul 18, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill instructions do not contain any patterns associated with prompt injection, bypass of safety guidelines, or deceptive role-playing instructions.
- [SAFE]: No network operations, sensitive file access (such as SSH keys or environment variables), or data exfiltration mechanisms were identified.
- [SAFE]: The skill defines a deterministic workflow for code generation that does not involve the execution of untrusted external scripts, dynamic code evaluation (eval/exec), or unauthorized shell commands.
- [SAFE]: Metadata and internal documentation are consistent with the stated purpose of protocol verification and do not contain any obfuscated content or hidden payloads.
Audit Metadata