domains / security / symbolic-execution-tools / symbolic-execution-tools
Skill card
separate
This skill name occurs once, so it stays a separate skill.
skills/symbolic-execution-tools/SKILL.md