Skip to content

Commit 61eb1bb

Browse files
authored
Merge pull request #1874 from dgageot/fix-1868
Improve tool filtering doc
2 parents 923ba05 + 9fa6a69 commit 61eb1bb

File tree

2 files changed

+10
-4
lines changed

2 files changed

+10
-4
lines changed

docs/pages/concepts/tools.html

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -136,12 +136,14 @@ <h3>Remote MCP (SSE / HTTP)</h3>
136136

137137
<h2>Tool Filtering</h2>
138138

139-
<p>MCP servers may expose many tools. You can whitelist only the ones you need:</p>
139+
<p>Toolsets may expose many tools. You can use the <code>tools</code> property to whitelist only the ones you need. This works for any toolset type — not just MCP:</p>
140140

141141
<pre><code class="language-yaml">toolsets:
142142
- type: mcp
143143
ref: docker:github-official
144-
tools: ["list_issues", "create_issue"] # only these tools</code></pre>
144+
tools: ["list_issues", "create_issue"] # only these MCP tools
145+
- type: filesystem
146+
tools: ["read_file", "search_files_content"] # only these filesystem tools</code></pre>
145147

146148
<h2>Tool Instructions</h2>
147149

docs/pages/configuration/tools.html

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -330,12 +330,16 @@ <h3>Remote MCP (SSE / Streamable HTTP)</h3>
330330

331331
<h2>Tool Filtering</h2>
332332

333-
<p>MCP servers often expose many tools. Use the <code>tools</code> property to whitelist only the ones your agent needs:</p>
333+
<p>Toolsets may expose many tools. Use the <code>tools</code> property to whitelist only the ones your agent needs. This works for any toolset type — not just MCP:</p>
334334

335335
<pre><code class="language-yaml">toolsets:
336336
- type: mcp
337337
ref: docker:github-official
338-
tools: ["list_issues", "create_issue", "get_pull_request"]</code></pre>
338+
tools: ["list_issues", "create_issue", "get_pull_request"]
339+
- type: filesystem
340+
tools: ["read_file", "search_files_content"]
341+
- type: shell
342+
tools: ["shell"]</code></pre>
339343

340344
<div class="callout callout-tip">
341345
<div class="callout-title">💡 Tip</div>

0 commit comments

Comments
 (0)