skills/daemon-blockint-tech/agentic-enteprises-skill/software-assurance-formal-methods-specialist/Socket
software-assurance-formal-methods-specialist
Pass
Audited by Socket on Jun 13, 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