foundations-formal-methods

Pass

Audited by Socket on Sep 23, 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

Sep 23, 2026, 06:10 PM

Package URL

pkg:socket/skills-sh/vasilyu1983%2Fai-agents-public%2Ffoundations-formal-methods%2F@6d495db5f0bfce5188eeba2b1a8d030150f2adff2712c06e774860abdc1c6453