specification-to-temporal-logic-generator

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%2Fspecification-to-temporal-logic-generator%2F@57871331ab7f43bf6977c8f2e5ba1fd0a982cab2