OpenSpec Verify Change Claude Code Skill