In order to make the planet mars habitable, first it must be the correct size. Initially, mars was much too small to support life. The small planet had a solid, nonmagnetic core, making a protective van allen belt impossible. With no way to shield the planet from the solar wind, the atmosphere was constantly being blasted into space and settling much later on the night side of the planet. Additionally, any organic molecules were cooked by the solar radiation instantly during the day and frozen at night. Enter the Lithoformer. A vast swarm of autonomous drones was built by MarsCorp astromechanical division to take asteroids from the asteroid belt and drop them gently on mars at a slow enough rate that the additional mass would not cause Mars to fall out of orbit.