You can convert minecraft maps to source engine maps.
The tool is called Sourcecraft.
https://www.minecraftforum.net/forums/mapping-and-modding-java-edition/minecraft-tools/1262588-2-12-sourcecraft-create-maps-for-the-source
Obviously everything in minecraft is blocks, so they number of...