symbolic-execution-tools

SUSPICIOUS: the install path is mostly benign and uses official PyPI packages, but the skill’s core purpose is to equip an AI agent with offensive reverse-engineering and symbolic-execution capabilities, including bypassing protections and automating binary analysis. This is coherent with the stated purpose yet still high security risk because it is a security/exploit-oriented skill.