For centuries, people have done the hard work of mining useful minerals and metals from solid rock. Then, scientists learned how to harness the power of tiny microbes to do some of this labor. This process, called biomining, has become common on Earth.
source https://www.lifetechnology.com/blogs/life-technology-news-blog/harnessing-the-power-of-microbes-for-mining-in-space