miner
A Continuation of the geology-inspired mod for Minecraft that adds various types of real-world rocks. ⛏️ Adds a little helper for the Miners. Expands types of ores in minecraft! Ore piles, crystals, geodes and mineral rocks. Automatically (insta-)mines falling gravel blocks that get in your way while mining.