{
  "title": "SessionInfo",
  "$ref": "#/definitions/src__continuedev__core__main__SessionInfo",
  "definitions": {
    "src__continuedev__core__main__SessionInfo": {
      "title": "SessionInfo",
      "type": "object",
      "properties": {
        "session_id": {
          "title": "Session Id",
          "type": "string"
        },
        "title": {
          "title": "Title",
          "type": "string"
        },
        "date_created": {
          "title": "Date Created",
          "type": "string"
        },
        "workspace_directory": {
          "title": "Workspace Directory",
          "type": "string"
        }
      },
      "required": [
        "session_id",
        "title",
        "date_created"
      ]
    }
  }
}