symbolic-execution-tools
INSTALLATION
$
npx skills add https://github.com/yaklang/hack-skills --skill symbolic-execution-tools