Openocd MCP Server - Debug microcontrollers from Claude via OpenOCD: flash, | MCP Marketplace