SPICE + Claude Code: Automatic Circuit Verification