From 1ee919691775bd416fd5f6b84259030de95f4fcc Mon Sep 17 00:00:00 2001 From: Alex Clarke Date: Fri, 17 Jul 2026 13:29:44 -0600 Subject: [PATCH] docs: Updated docs for agent MCP enable/disable functionality via the REPL --- REPL.md | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/REPL.md b/REPL.md index 5941893..a10ed19 100644 --- a/REPL.md +++ b/REPL.md @@ -306,13 +306,11 @@ not currently enabled, `disable` offers only the current list. 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; 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. * `.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` - Modify configuration files