python-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:21 PM

Package URL

pkg:socket/skills-sh/santosomar%2Fgeneral-secure-coding-agent-skills%2Fpython-to-dafny-translator%2F@9dd7bce57aa327cb00a750a7110c582a21b92a97