formal-methods-reconciler

Pass

Audited by Socket on Jul 9, 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 9, 2026, 03:37 AM

Package URL

pkg:socket/skills-sh/mizchi%2Fskills%2Fformal-methods-reconciler%2F@6c48eeaec68d3a9d1ce858e87ae648d61644bc57b9f0fef697da80b9c5cd9395