Server Not Found

The server "mif-tools" in organization "io.github.varun29ankus" could not be found.