Automated Code Verification Claude Code Skill