Correct, I'm looking for a tool that manages a large list of individual hostnames, I do already extensively use my ssh config to automatically apply the right credentials etc. to the hosts once I have the hostname I want.