OpenSpec Change Verifier: Claude Code Skill for Validation