mine-tool