Php 如何通过TOR登录SSH

我正在使用此类PHPSECLIB：

要连接到SSH，但找不到通过代理或TOR进行连接的方法：

这是我的密码：

include('Net/SSH2.php');
$ssh = new Net_SSH2($ip, $port);
if (!$ssh->login($user, $pass)) {
    die('FAILED');
    exit;
} else {
    die('CONNECT');
    exit;
}

你知道如何为这段代码添加代理吗

---

提前感谢。

看起来您在“是”中得到了答案，谢谢，但需要为此进行隧道挖掘：希望它自动：