SPICE + Claude Code: Automatic Circuit Verification | Juanchi.dev