domains / science / formal-verification / proof-engine
Skill card
separate
This skill name occurs once, so it stays a separate skill.
skills/proof-engine/SKILL.md