mermaid-to-proverif

Pass

Audited by Socket on Mar 31, 2026

Checks

Malicious behaviorInjection, exfiltration, untrusted installs

Security concernsCredential exposure, tool/trust exploitation

Code obfuscationHidden or obfuscated code

Suspicious patternsReconnaissance, excessive autonomy, resource use

Audit Metadata

Analyzed At

Mar 31, 2026, 10:43 PM

Package URL

pkg:socket/skills-sh/trailofbits%2Fskills%2Fmermaid-to-proverif%2F@2b29aa556aaf5564031260fd7dd5232a3b743b9c