refactor: Refactored the use_mcp_servers field to enabled_mcp_servers to make the purpose of the field more clear

This commit is contained in:
2025-11-04 12:51:41 -07:00
parent 7f71317acd
commit 600f5d1484
11 changed files with 93 additions and 80 deletions
+1 -1
View File
@@ -47,7 +47,7 @@ visible_tools: # Which tools are visible to be compiled (and a
mcp_servers: true # Enables or disables MCP servers (globally).
mapping_mcp_servers: # Alias for an MCP server or set of servers
git: github,gitmcp
use_mcp_servers: null # Which MCP servers to use by default (e.g. 'github,slack')
enabled_mcp_servers: null # Which MCP servers to enable by default (e.g. 'github,slack')
# ---- prelude ----
repl_prelude: null # Set a default role or session for REPL mode (e.g. role:<name>, session:<name>, <session>:<role>)