mermaid-to-proverif

Pass

Audited by Socket on Jul 18, 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

Jul 18, 2026, 12:09 PM

Package URL

pkg:socket/skills-sh/RedHatProductSecurity%2Fprodsec-skills%2Fmermaid-to-proverif%2F@59e743f41a21e4b87ea77cbe8325f97b9202177f26cfca3c415564bf8c4f7ec5