Close persistent SSH session
ssh_closeTerminate an active remote shell session, closing the SSH connection and removing its temporary directory to free resources and reset the environment.
Instructions
Close the remote shell and SSH connection, clean its private temporary directory, and invalidate the id. Close a dirty session and call ssh_open for a clean environment.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"id": "<id>"
},
"name": "ssh_close"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| id | Yes |