Skip to content

Conversation

@tommaso-moro
Copy link
Contributor

@tommaso-moro tommaso-moro commented Jan 7, 2026

Summary

Updates toolset names to use the "useful" names users can copy paste into their server config, following the same pattern as the main README.

Rendered

Why

Closes #1705 and improves docs

What changed

  • Updated toolset names

MCP impact

  • No tool or API changes
  • Tool schema or behavior changed
  • New tool added

Prompts tested (tool changes only)

Security / limits

  • No security or limits impact
  • Auth / permissions considered
  • Data exposure, filtering, or token/size limits considered

Tool renaming

  • I am renaming tools as part of this PR (e.g. a part of a consolidation effort)
    • I have added the new tool aliases in deprecated_tool_aliases.go
  • I am not renaming tools as part of this PR

Note: if you're renaming tools, you must add the tool aliases. For more information on how to do so, please refer to the official docs.

Lint & tests

  • Linted locally with ./script/lint
  • Tested locally with ./script/test

Docs

  • Not needed
  • Updated (README / docs / examples)

Copilot AI review requested due to automatic review settings January 7, 2026 19:03
@tommaso-moro tommaso-moro requested a review from a team as a code owner January 7, 2026 19:03
@tommaso-moro tommaso-moro changed the title updated Update toolset names in remote-server.md docs Jan 7, 2026
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR updates the toolset names in the remote server documentation to use backtick formatting, making them easier for users to copy and paste into their server configuration. This aligns the remote server documentation with the formatting pattern already established in the main README.

  • Updated all toolset names in docs/remote-server.md to use backtick formatting
  • Maintains consistency with the existing README.md format
  • No functional or code changes

@tommaso-moro tommaso-moro merged commit f2ff9d2 into main Jan 8, 2026
21 checks passed
@tommaso-moro tommaso-moro deleted the tommy/docs-update-toolset-names branch January 8, 2026 09:53
Copilot AI added a commit that referenced this pull request Jan 10, 2026
The generate-docs command now outputs toolset IDs (e.g., `actions`, `code_security`)
wrapped in backticks instead of display names (e.g., "Actions", "Code Security").

This ensures the manual changes from PR #1756 persist when the docs are regenerated,
fixing the issue where users need to configure the actual toolset ID, not the display name.

Changes:
- Modified generateRemoteToolsetsDoc() to use `idStr` instead of `formattedName()`
- Modified generateRemoteOnlyToolsetsDoc() to use `idStr` instead of `formattedName()`
- Both functions now wrap the toolset ID in backticks for clarity

Co-authored-by: SamMorrowDrums <4811358+SamMorrowDrums@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Update docs with better guidance for configuring additional toolsets

5 participants