The city is called Chaspanti; it means "turtle shell" because there is a giant hermit turtle in the general area, not particularly friendly nor hostile, and it left an outgrown shell made of dead coral near the city site, which has been turned into a government office. (It's only about house sized, so there is more government office elsewhere, but it's a pleasingly iconic bit of architecture.) They work fast; a ton of people want to work and invest in the settlement and they can get the best people at exciting prices (before you factor in the antimatter for the ships, but that supply chain is also trying its best to make some order-of-magnitude efficiency jumps). It's early autumn in Chaspanti so they're mostly bringing people in on two-month contracts with renewal options, so people who season will stay and people who don't will be replaced. There are some greens handwringing about how they'll speciate if they do that too much but no one is going to solve that problem this year.
There are mines, there are farms, there are logging camps, there are factories, there are tents and prefab houses - and as they dig and refine and import and cut and shape and haul, Chaspanti stretches higher and higher and the number of happy Amentan settlers grows and grows.