Functionality Audit: Claude Code Skill for Code Verification