skills/santosomar/general-secure-coding-agent-skills/specification-to-temporal-logic-generator/Socket
specification-to-temporal-logic-generator
Pass
Audited by Socket on Mar 29, 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