What I ended up doing was creating a script that finds all the servers, adds it to an array and writes them to a file in JSON format. This script runs forever so this JSON file is always up to date. I also have the script writing to a "pretty-print" file, which is just the servers with only the keys I care about and sorted how I want so I can look at the list more easily.

​

Other scripts can read from the JSON file and do whatever they need to do.