miner tool