Skills
skills/arabelatso/skills-4-se/tlaplus-model-reduction/Socket

tlaplus-model-reduction

Pass

Audited by Socket on Mar 6, 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
Mar 6, 2026, 10:22 PM
Package URL
pkg:socket/skills-sh/ArabelaTso%2FSkills-4-SE%2Ftlaplus-model-reduction%2F@0601139b6917008a9d89e9e7103d300533789480