GitHub repository: microdc/microdc-tools
Description: A docker image with the tools for microdc