I think you can get a lot of coin names by filtering all the [ANN] and [Pre-ANN] thread titles on this sub-forum and extracting the *coin string.
He doesn't need the names or the types of coins around , but the numbers of already mined amount of each coin btc , ltc or etc.
You can get that data from each coins blockexplorer , or parse coinmarketcap and trust their numbers.