The bot is open source, it crawls the list at https://instances.social and checks on each instance how many users they have and how many toots (statuses) they have.