OpenSpec Change Verification: Claude Code Skill