list_servers
Lists configured SSH servers with their groups and descriptions, optionally filtered by a group, so you can choose the right server for remote SSH tasks.
Instructions
List all configured SSH servers with their groups and descriptions.
Args: group: Optional group name to filter by. Shows all servers if omitted. Use list_groups to see available group names.
Returns:
Formatted table of servers with name, groups, and description. An
unknown group is reported as a plain "Error: ..." string
rather than raised as a tool error, and a group with no members
returns "No servers found in group '<name>'".
Tool call template
This tool declares no required parameters. Add optional parameters from the input schema as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {},
"name": "list_servers"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| group | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |