sshping (pypi): ping utility that lets you ping hosts that are only defined in your ~/.ssh/config file
Keywords: networking|ssh|ping