get_server_names
Retrieve all available Jenkins server names to manage multiple CI/CD environments and automate operations across your infrastructure.
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:24-32 (handler)The handler function for the 'get_server_names' tool. It is decorated with @mcp.tool() which registers it as an MCP tool. Retrieves Jenkins servers via get_jenkins_servers() and extracts their names.@mcp.tool() 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]
- src/jenkins/config.py:148-165 (helper)Helper function called by get_server_names to load and return the list of configured Jenkins servers from the application configuration.def get_jenkins_servers(config: Optional[Dict[str, Any]] = None) -> list: """Get all Jenkins server configs, only supports new format (servers/uri/tokenEnv).""" if config is None: config = load_config() servers = config.get("servers", []) result = [] for s in servers: name = s.get("name") uri = s.get("uri") user = s.get("user") token = s.get("token") token_env = s.get("tokenEnv") if token_env: token_env_val = os.environ.get(token_env) if token_env_val: token = token_env_val result.append({"name": name, "uri": uri, "user": user, "token": token}) return result