https://pub.dev/documentation/dart_mcp/latest/server/PromptListChangedNotification-extension-type.html
PromptListChangedNotification extension type - server library - Dart API
API docs for the PromptListChangedNotification extension type from the server library, for the Dart programming language.
extension typeserverlibrarydartapi