OpenSpec Change Verification Claude Code Skill