skills/trailofbits/skills/mermaid-to-proverif/Snyk

mermaid-to-proverif

Warn

Audited by Snyk on Sep 17, 2026

Risk Level: MEDIUM

Full Analysis

MEDIUM W011: Third-party content exposure detected (indirect prompt injection risk).

Third-party content exposure detected (low risk: 0.10). The required workflow translates a Mermaid sequence diagram into a ProVerif model, and the input protocol diagrams or skill inputs may contain outsider-authored free text.

Issues (1)

W011

MEDIUM

Third-party content exposure detected (indirect prompt injection risk).

Audit Metadata

Risk Level

MEDIUM

Analyzed

Sep 17, 2026, 01:16 PM

Issues

1

Security Audit — snyk — mermaid-to-proverif