OpenSpec Change Verifier | Claude Code Skill for Audits