MCP servers from io.github.microhenrio
Debug microcontrollers from Claude via OpenOCD: flash, breakpoints, memory and registers by name.