Make CallToolResult.IsError optional (#573)

Match the spec, and avoid sending the property in the success case.
This commit is contained in:
Stephen Toub 2025-06-30 11:35:07 -04:00 • committed by GitHub
commit ab51400ba0
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -44,5 +44,5 @@ public sealed class CallToolResult : Result
/// and potentially self-correct in subsequent requests.
/// </remarks>
[JsonPropertyName("isError")]
public bool IsError { get; set; }
public bool? IsError { get; set; }
}