discover-formal

Pass

Audited by Socket on Feb 15, 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
Feb 15, 2026, 08:57 PM
Package URL
pkg:socket/skills-sh/rand%2Fcc-polymath%2Fdiscover-formal%2F@85f392261458756b5dbed4b1b75fae069d079f6d