remove_server
Permanently delete a saved server profile from your local host store. Use when you want to forget or remove a server.
Instructions
Permanently delete a saved server profile from the local host store.
When to use: Only when the user explicitly asks to forget/remove a server. When NOT to use: Do not remove servers just because a connection failed.
Example: remove_server(connection_id="srv1")
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| connection_id | Yes | Unique identifier of the server to remove |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||