OpenSpec Change Verifier Claude Code Skill Verification