{
  "$schema": "http://json-schema.org/draft-07/schema#",
  "title": "CommandExecTerminateParams",
  "description": "Terminate a running `command/exec` session.",
  "type": "object",
  "required": [
    "processId"
  ],
  "properties": {
    "processId": {
      "description": "Client-supplied, connection-scoped `processId` from the original `command/exec` request.",
      "type": "string"
    }
  }
}