Skip to content

Make MCP server name and title configurable#2160

Open
Anika-Sol wants to merge 2 commits intogithub:mainfrom
Anika-Sol:configurable-name-and-title
Open

Make MCP server name and title configurable#2160
Anika-Sol wants to merge 2 commits intogithub:mainfrom
Anika-Sol:configurable-name-and-title

Conversation

@Anika-Sol
Copy link

Summary

This PR makes the MCP server's name and title configurable during server start. The values can be set via flags (server-name and server-title) or environment variables (GITHUB_SERVER_NAME and GITHUB_SERVER_TITLE).

Why

Fixes #2158

What changed

  • add the flags server-name and server-title with defaults resembling the previous hard coded name and title
  • use the values of those flags when creating the MCP Server
  • update documentation including an example

MCP impact

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

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)

To make different MCP servers distinguishable for agents
the server name and title should be configurable during
server start.
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.

Make MCP Server name and title configurable

1 participant