docs: Updated docs for agent MCP enable/disable functionality via the REPL
+1
-3
@@ -306,13 +306,11 @@ not currently enabled, `disable` offers only the current list.
|
|||||||
|
|
||||||
Notes on edge cases:
|
Notes on edge cases:
|
||||||
|
|
||||||
* If the current list is `all`, disabling one entry expands `all` into the concrete list first (minus the disabled
|
|
||||||
entry). For tools, this means tools added later will no longer be enabled automatically.
|
|
||||||
* Entries enabled indirectly through a `mapping_tools`/`mapping_mcp_servers` alias cannot be disabled individually;
|
* Entries enabled indirectly through a `mapping_tools`/`mapping_mcp_servers` alias cannot be disabled individually;
|
||||||
disable the alias or set the full list via `.set` instead.
|
disable the alias or set the full list via `.set` instead.
|
||||||
* Disabling an MCP server that a loaded [skill](Skills) granted keeps it running until the skill is unloaded.
|
* Disabling an MCP server that a loaded [skill](Skills) granted keeps it running until the skill is unloaded.
|
||||||
* `.tool enable/disable` is unavailable in an agent context outside a session, and `.mcp enable/disable` is
|
* `.tool enable/disable` is unavailable in an agent context outside a session, and `.mcp enable/disable` is
|
||||||
unavailable in agent contexts entirely — agent MCP servers are defined by the agent's own config
|
unavailable in agent contexts entirely; agent MCP servers are defined by the agent's own config
|
||||||
(`.edit agent-config`).
|
(`.edit agent-config`).
|
||||||
|
|
||||||
## `.edit` - Modify configuration files
|
## `.edit` - Modify configuration files
|
||||||
|
|||||||
Reference in New Issue
Block a user