{
  "protocol": "auth",
  "imports": [],
  "types": [
    {
      "type": "record",
      "name": "AuthResult",
      "fields": [
        {
          "type": "UID",
          "name": "uid"
        },
        {
          "type": "string",
          "name": "username"
        },
        {
          "type": "SessionID",
          "name": "sid"
        },
        {
          "type": "boolean",
          "name": "isAdmin"
        }
      ]
    }
  ],
  "messages": {
    "authenticateSessionToken": {
      "request": [
        {
          "name": "session",
          "type": "SessionToken"
        }
      ],
      "response": "AuthResult"
    }
  },
  "namespace": "gregor.1"
}