MCP servers from io.github.hardware-mcp
Arduino MCP server for CLI setup, board detection, compile/upload, serial monitoring, and pin refs.