hugging-face Get Prometheus metrics Get server metrics in Prometheus format including request counts, latencies, queue sizes, and token throughput. GitHub