mermaid-to-proverif
Pass
Audited by Gen Agent Trust Hub on Mar 31, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill is designed for the static translation of Mermaid diagrams into ProVerif (.pv) files for formal security verification. No security issues were detected.
- [EXTERNAL_DOWNLOADS]: No external downloads, package installations, or remote code execution patterns were found.
- [DATA_EXFILTRATION]: No network operations or sensitive data access patterns (such as accessing credentials or environment files) were identified.
- [PROMPT_INJECTION]: The skill uses instructional language consistent with its purpose and does not contain attempts to override safety filters or bypass system guidelines.
- [COMMAND_EXECUTION]: While the skill generates formal verification code, it does not execute shell commands or dynamic scripts; users are directed to run the ProVerif tool independently.
Audit Metadata