reasoning-semiformally

Pass

Audited by Socket on Oct 12, 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 12, 2026, 08:57 AM
Package URL
pkg:socket/skills-sh/oaustegard%2Fclaude-skills%2Freasoning-semiformally%2F@d1f484723c66c7a5614375ab72a728d2ad9b7737239de4360e07f4dc61d39a2d