minertool