semi-formal-code-review

Pass

Audited by Socket on Apr 1, 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
Apr 1, 2026, 11:54 PM
Package URL
pkg:socket/skills-sh/mikewolfd%2Fsemi-formal-code-review-skill%2Fsemi-formal-code-review%2F@12f96767bbd30bca61112407d2090c706d5b484b