Skills
Navigate
skills/jurgendn/agent-skills/theory-paper-to-theorem-distiller/Socket

theory-paper-to-theorem-distiller

Pass

Audited by Socket on Jul 5, 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
Jul 5, 2026, 08:24 PM
Package URL
pkg:socket/skills-sh/jurgendn%2Fagent-skills%2Ftheory-paper-to-theorem-distiller%2F@66eb05d2f2ec1564f436caa84f812a986de7055c930d219a7bc859e5b328d8eb
Security Audit — socket — theory-paper-to-theorem-distiller