AI Mars Agents (Astro)