onDidChangeMcpServerDefinitions

Optional event fired to signal that the set of available servers has changed.

Online Documentation