Workspace Reload

workspace-reload · Mutation · Server · Workspaces

Reloads the selected workspace when it is out of date.

Availability: Built in and published by default.

Generated from Roslyn Workbench MCP 0.1.0-beta.304 (0.1.0-beta.304).

Behaviour annotations

Annotation	Value
destructiveHint	false
idempotentHint	false
openWorldHint	false
readOnlyHint	false
title	"Workspace Reload"

Request

Property	Type	Required	Description
workspace	object | null	No	Provide workspaceId, alias, path, or any combination.

Response

Success response

Property	Type	Required	Description
ok	boolean constant (true)	Yes	Whether the tool invocation succeeded.
data	object | null	Yes	Tool-specific result payload.
snapshot	object	No	Exact immutable workspace snapshot associated with the result, when available.

Error response

Property	Type	Required	Description
ok	boolean constant (false)	Yes	Whether the tool invocation succeeded.
error	object	Yes	Structured error details when the invocation failed.
continuation	oneOf	No	Action the agent should take before retrying or continuing.

Continuations and required actions

A non-success response may include a structured continuation at the following schema location. Follow its tool call or user-action instruction instead of guessing how to retry:

• $/oneOf/1/properties/continuation

Complete input schema

{
  "type": "object",
  "properties": {
    "workspace": {
      "description": "Provide workspaceId, alias, path, or any combination.",
      "type": [
        "object",
        "null"
      ],
      "properties": {
        "workspaceId": {
          "type": "string",
          "format": "uuid"
        },
        "alias": {
          "type": "string"
        },
        "path": {
          "description": "Absolute workspace path.",
          "type": "string"
        }
      }
    }
  }
}

Complete output schema

{
  "type": "object",
  "oneOf": [
    {
      "type": "object",
      "required": [
        "ok",
        "data"
      ],
      "properties": {
        "ok": {
          "const": true,
          "description": "Whether the tool invocation succeeded."
        },
        "data": {
          "type": [
            "object",
            "null"
          ],
          "properties": {
            "workspace": {
              "description": "The reloaded workspace identity.",
              "type": [
                "object",
                "null"
              ],
              "properties": {
                "workspaceId": {
                  "description": "The stable server-generated workspace identifier.",
                  "type": "string",
                  "format": "uuid"
                },
                "alias": {
                  "description": "The optional caller-friendly alias.",
                  "type": [
                    "string",
                    "null"
                  ]
                },
                "workspaceEpoch": {
                  "description": "The workspace epoch for the loaded baseline.",
                  "type": "integer"
                },
                "loadedPath": {
                  "description": "The absolute path of the loaded workspace.",
                  "type": "string"
                },
                "workspaceRoot": {
                  "description": "The absolute repository or workspace root used for coordination and transaction boundaries.",
                  "type": "string"
                }
              },
              "required": [
                "loadedPath",
                "workspaceRoot"
              ]
            },
            "projectCount": {
              "description": "The loaded project count.",
              "type": "integer"
            },
            "documentCount": {
              "description": "The loaded document count.",
              "type": "integer"
            },
            "loadDiagnostics": {
              "description": "The workspace load diagnostics.",
              "type": "array",
              "items": {
                "type": "object",
                "properties": {
                  "id": {
                    "description": "The diagnostic identifier.",
                    "type": "string"
                  },
                  "severity": {
                    "description": "The diagnostic severity.",
                    "type": "string",
                    "enum": [
                      "Hidden",
                      "Info",
                      "Warning",
                      "Error"
                    ]
                  },
                  "message": {
                    "description": "The diagnostic message.",
                    "type": "string"
                  },
                  "location": {
                    "description": "The optional source location of the diagnostic.",
                    "type": [
                      "object",
                      "null"
                    ],
                    "properties": {
                      "document": {
                        "description": "The resolved document.",
                        "type": [
                          "object",
                          "null"
                        ],
                        "properties": {
                          "documentId": {
                            "description": "The document identifier.",
                            "type": "string"
                          },
                          "path": {
                            "description": "The normalized document path.",
                            "type": "string"
                          },
                          "projectId": {
                            "description": "The owning project identifier.",
                            "type": "string"
                          }
                        },
                        "required": [
                          "documentId",
                          "path",
                          "projectId"
                        ]
                      },
                      "span": {
                        "description": "The resolved text span.",
                        "type": [
                          "object",
                          "null"
                        ],
                        "properties": {
                          "start": {
                            "description":