Yes, Amazon's managed Prometheus is based on Cortex. See the first question at https://aws.amazon.com/prometheus/faqs/