The current uptime status of the Axiom Proving API is available at axiomstatus.xyz. We will share details of any planned API maintenance or unplanned outages on that page.