Is there a REST API in JupyterHub that allows you to retrieve the server details for a specific user’s server?
I dont think there is an endpoint specific to user server. You can make a request to users endpoint which will give you a list of servers of that user along with server details.
There isn’t an endpoint for individual servers, but there is one for each user which includes all server details for that user in the servers dict.