[kennethko]

Are you looking for something beyond what a host alias in your `./ssh/config` file can provide?

  $ cat ~/.ssh/config
  Host myserver
          HostName 10.10.10.10
          User ken
  $ ssh myserver

[ilovecaching]

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.