Hace algunos días estuve buscando un cliente web para conectar por SSH a servidores linux y encontré una solución muy buena que utilizaba node.js y que podéis encontrar aqui https://github.com/billchurch/WebSSH2

Viendo como WebSSH2 utilizaba los websockets decidí hacer lo mismo pero esta vez usando PHP en lugar de node.js. Para ello he utilizado la librería libssh2 de php la cual debéis tener activa si queréis utilizar el cliente que he creado.

Podéis encontrar el cliente y ayudarme a mejorarlo en github https://github.com/roke22/PHP-SSH2-Web-Client

A continuación os dejo un pequeño vídeo que muestra como funciona.