"Tool mcp_dart_sdk_mcp__analyze_files failed validation: schema must have a properties object"

[DanTup]

I see these warnings in VS Code:

2025-06-17 11:15:28.036 [warning] Tool mcp_dart_sdk_mcp__analyze_files failed validation: schema must have a properties object
2025-06-17 11:15:28.036 [warning] Tool mcp_dart_sdk_mcp__get_active_location failed validation: schema must have a properties object
2025-06-17 11:15:28.036 [warning] Tool mcp_dart_sdk_mcp__get_selected_widget failed validation: schema must have a properties object
2025-06-17 11:15:28.036 [warning] Tool mcp_dart_sdk_mcp__get_widget_tree failed validation: schema must have a properties object
2025-06-17 11:15:28.036 [warning] Tool mcp_dart_sdk_mcp__pub_dev_search failed validation: object description is too long (truncated to 1024 chars)
2025-06-17 11:15:28.036 [warning] Tool mcp_dart_sdk_mcp__take_screenshot failed validation: schema must have a properties object

I don't think they're fatal, but maybe should be addressed (I used an empty properties object for the VS Code tool that doesn't require any arguments).

[jakemac53]

Interesting, thanks for these. I believe all of these are GitHub copilot specific warnings and not in the spec. We could still probably resolve them though. Possibly with the exception of the pub_dev_search one.... although we might be able to truncate that sufficiently I am not sure.

[DanTup]

I believe all of these are GitHub copilot specific warnings and not in the spec

Do you know where this is specified? I looked through the site but couldn't find it (nor could I find anything in json-schema). If we have something to point to, I could file a VS Code issue (although, perhaps just adding them as empty is easier).

[jakemac53]

Here is the latest tool definition in the draft schema - you can find the previous ones as well in sibling directories, they all look similar for the Tool definitions. Note that the only required property for an input schema is the "type".

[DanTup]

Thanks! I filed microsoft/vscode#251723

[DanTup]

Feel free to close this if you don't think there's anything worth doing in the Dart server here.

[jakemac53]

I think we can leave this open for now, reducing the description length for the pub search tool might be relevant.

And, we always could add an empty properties object to each of these if it doesn't look like VsCode is going to change things, its trivial to do.