ToolListChangedNotification
@Serializable
@SerialName(value = "notifications/tools/list_changed")
A notification from the server to the client that the list of tools has changed. The client may issue a tools/list request to get the updated list.