skills/yaklang/hack-skills/symbolic-execution-tools/Socket

symbolic-execution-tools

Warn

Audited by Socket on Sep 15, 2026

1 alert found:

Security

SecuritySKILL.md

MEDIUM

SecurityMEDIUM

SKILL.md

SUSPICIOUS: internally coherent as a reversing/CTF skill, with no credential theft or deceptive data flows, but it is an offensive security skill for AI agents and thus high risk by capability. Supply-chain risk is limited to standard unpinned PyPI installs from official ecosystems.

Confidence: 93%Severity: 79%

Audit Metadata

Analyzed At

Sep 15, 2026, 02:14 PM

Package URL

pkg:socket/skills-sh/yaklang%2Fhack-skills%2Fsymbolic-execution-tools%2F@43736e57d71d562c6891963d4224884ce636448d142539290c3db6e296fd6b25