Struct and module-based JSON schema generated from modelcontextprotocol.io JSON schema.
An optional notification from the server to the client, informing it
that the list of prompts it offers has changed. This is only delivered
on a {@link SubscriptionsListenRequestsubscriptions/listen} stream
when the client requested it via the promptsListChanged filter
field.
Summary
Types
@type t() :: %GenMCP.MCP.V2607.PromptListChangedNotification{params: term()}