OpenSpec Verify Change | Claude Code Skill for Code Audits