cpp-to-dafny-translator

Pass

Audited by Socket on Mar 29, 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 29, 2026, 09:22 PM

Package URL

pkg:socket/skills-sh/santosomar%2Fgeneral-secure-coding-agent-skills%2Fcpp-to-dafny-translator%2F@8168073dc6bf5e8dfdfea995c0ba85fe5fd5bf34