set_server_bot
Select which configured bot handles a specific Discord server, or set it to auto to restore the default bot. Use dry_run to preview changes before applying.
Instructions
Choose which bot to use in a server that several configured bots are in (saved on this computer). "auto" goes back to the default bot.
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": {
"server": "<server>",
"bot": "<bot>"
},
"name": "set_server_bot"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| bot | Yes | Bot name or id, or "auto" | |
| server | Yes | Server name or id | |
| dry_run | No | Show the requests that would be made without changing anything |