Jenkins MCP Tool

Instructions

Returns:
    List of server names

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