Function

list-changed

Send a notifications/*/list_changed notification to the client

When the server's list of tools, prompts, or resources changes (additions, removals, or modifications), this notification informs the client to re-fetch the affected list(s).

The server-lists parameter indicates which lists changed. Clients should call the corresponding list endpoints (tools/list, prompts/list, etc.) to get the updated lists.

https://spec.modelcontextprotocol.io/specification/server/utilities/list_changed

list-changed: func(output: borrow​<output-stream>, changes: server-lists) -> result​<_, notification-error>;