Here you can search the pokedex for different gym leaders. It will take a long time to update.
In the future, it will have all gym leaders. There will be a search bar below. If you cannot find it,
it has not been uploaded.