OpenSpec Change Verifier - Claude Code Skill for Dev Audit