Does Mars make a particularly good outpost for asteroid mining with its much lower gravity well, and the fact that if you fuck up and de-orbit an asteroid you’re not potentially destroying a large swath of populated land below?

There may be refining steps which you would want to do on the surface vs in orbit, and getting the raw ore down and refined product back up would be substantially cheaper on Mars.

Probably it wouldn’t be worth building a colony in the first place for just this economic benefit, but once you have the colony, you can exploit this advantage?