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