MCP servers from io.github.tinqiao-oss
USB-HID keyboard/mouse (Pico 2, open firmware) as MCP tools; --mock runs with no hardware
