-record(progress_notification, {
    message :: gleam@option:option(binary()),
    progress :: integer(),
    progress_token :: mcp_toolkit@core@protocol:progress_token(),
    total :: gleam@option:option(integer())
}).