There're two major tools available which support programming, debugging and re-flashing of the bootloader for the MAXIM µC boards.
Maxim HDK Board (outdated) which is still available and is delivered as programming board with the Maxim Health Sensor Platform
MAXDAP which is based on the MAX32625PICO with an adopted version of an open-source firmware to convert JTAG/SWD and UART to USB