Property ProgressToken
ProgressToken
Gets or sets the progress token identifying this call's progress stream: supplied by the
caller on the MCP transport, or set by any other host (with its own
ProgressSink) that wants a tool's progress. null when nobody asked.
Tools should still call ReportProgressAsync(double, double?, string, CancellationToken) unconditionally; it is a no-op
when no token is present.
public string ProgressToken { get; set; }