ssh -R 80:localhost:8080 nokey@localhost.run is equivalent to what in Paramiko? I search a lot but no success ... Code I tried

import paramiko

command = "df"

# Update the next three lines with your
# server's information

username = "localhost:9876"
host = "nokey@localhost.run"

client = paramiko.client.SSHClient()
client.set_missing_host_key_policy(paramiko.AutoAddPolicy())
client.connect(host,port=80, username=username)
_stdin, _stdout,_stderr = client.exec_command("df")
print(stdout.read().decode())
client.close()