Add docs for new thv run --tools flag. - #72
Merged
Conversation
|
The latest updates on your projects. Learn more about Vercel for Git ↗︎
|
blkt
force-pushed
the
docs/add-docs-for-thv-run-tools-flag
branch
from
July 25, 2025 17:27
12d03bb to
2db7ab4
Compare
blkt
force-pushed
the
docs/add-docs-for-thv-run-tools-flag
branch
from
July 25, 2025 17:34
2db7ab4 to
351ca93
Compare
blkt
force-pushed
the
docs/add-docs-for-thv-run-tools-flag
branch
from
July 25, 2025 17:47
351ca93 to
351320a
Compare
Contributor
There was a problem hiding this comment.
Pull Request Overview
This PR adds documentation for the new --tools flag in the ToolHive CLI, which allows users to filter tools exposed by MCP servers. The documentation explains how to use the flag to selectively expose tools from an MCP server while reducing the number of tools sent to the LLM.
Key Changes
- Added a new section explaining the
--toolsflag functionality and security considerations - Provided usage examples showing both single and multiple flag usage patterns
- Documented validation behavior for registry servers
blkt
force-pushed
the
docs/add-docs-for-thv-run-tools-flag
branch
from
July 25, 2025 17:53
351320a to
8335c30
Compare
danbarr
previously approved these changes
Jul 25, 2025
danbarr
left a comment
Collaborator
There was a problem hiding this comment.
LGTM! We'll hold off on merging until the next release is cut.
This change adds a small section under the "Run MCP servers" page documenting how to filter tools exposed by a server. Fixes stacklok/toolhive#1007
blkt
force-pushed
the
docs/add-docs-for-thv-run-tools-flag
branch
from
July 25, 2025 17:56
8335c30 to
6dc1efa
Compare
danbarr
reviewed
Jul 25, 2025
danbarr
left a comment
Collaborator
There was a problem hiding this comment.
Minor nits, addressing the reader as "you" instead of "the user". But looks great, thanks!
danbarr
approved these changes
Jul 28, 2025
eleftherias
approved these changes
Jul 28, 2025
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Description
This change adds a small section under the "Run MCP servers" page documenting how to filter tools exposed by a server.
Fixes stacklok/toolhive#1007
Related issues/PRs
stacklok/toolhive#1136
Merge checklist
v0.2.1or above is releasedReviews