get_server_names
Retrieve a list of all available Jenkins server names to simplify multi-server management and streamline CI/CD operations using natural language interactions.
Instructions
Get the list of all available Jenkins server names.
Returns:
List of server names
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||
Implementation Reference
- src/jenkins/tools/mcp_tools.py:25-33 (handler)The core handler function for the 'get_server_names' MCP tool. It is decorated with @mcp.tool() which also serves as its registration. The function fetches the list of Jenkins servers from the configuration and extracts their names, returning them as a list of strings.def get_server_names() -> List[str]: """Get the list of all available Jenkins server names. Returns: List of server names """ servers = get_jenkins_servers() return [server["name"] for server in servers]