Skip to content

Rename remote-server.md to Xremote-server.md#2491

Open
XavierMP14 wants to merge 1 commit into
github:mainfrom
XavierMP14:patch-4
Open

Rename remote-server.md to Xremote-server.md#2491
XavierMP14 wants to merge 1 commit into
github:mainfrom
XavierMP14:patch-4

Conversation

@XavierMP14
Copy link
Copy Markdown

Summary

Why

Fixes #

What changed

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)

@XavierMP14 XavierMP14 requested a review from a team as a code owner May 17, 2026 19:45
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.

1 participant