Verify First Debugging - Claude Code Skill for NixOS