domains / research / publication-workflow / tacas-workflow
Skill card
separate
This skill name occurs once, so it stays a separate skill.
TACAS-Skills/skills/tacas-workflow/SKILL.md