setup

Pass

Audited by Socket on Oct 19, 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
Oct 19, 2026, 08:52 AM
Package URL
pkg:socket/skills-sh/michael-denyer%2Fagent-formal-verify%2Fsetup%2F@ced2464595edf057d8d9245eb95e1c9f915945d4d4a8553ab71105f6f2c62c9e