SPICE + Claude Code: verificación automática de circuitos | Juanchi.dev