# Domain Proof Skill

Fixture skill used to verify HOL PR comment guidance for domain proof upgrades.