mermaid-to-proverif

Pass

Audited by Socket on Sep 17, 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

Sep 17, 2026, 01:16 PM

Package URL

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