Are there any ways to get mudfish server list with IP + names?
Ping tool from mudfish web page uncomfortable, so I make program for my self and my friends for pinging mudfish servers.
https://yadi.sk/d/N__8whiK3ZxHHv
Currently I’m get server names with link to IP from https://mudfish.net/server/status
and then I get IP from each link. As result I get server name + IP.
but this take too much time to get all list.
is there some API or whatever to get in same time full list with IP and server names?
I think https://mudfish.net/api/staticnodes LINK is what you’re looking for. 
thanks ^^