This mod adds highly configurable dynamically created area mining tools.
https://www.curseforge.com/minecraft/mc-mods/stripmining
https://modrinth.com/mod/stripmining
Prospecting sound obtained from https://freesound.org/.
Metal Clang1.aif by timgormly -- https://freesound.org/s/170958/ -- License: Attribution 3.0