writing-lean-proofs

Pass

Audited by Socket on Aug 8, 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

Aug 8, 2026, 02:02 AM

Package URL

pkg:socket/skills-sh/trailofbits%2Fskills%2Fwriting-lean-proofs%2F@498e92c7a2c5b5f531b9d8b90d14511e9a956e00c5159649512d136837d445dd