Инструменты символьного исполнения.
npx -y skills add yaklang/hack-skills --skill symbolic-execution-tools --agent claude-code