{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "properties": {
    "names": {
      "items": {
        "type": "string"
      },
      "type": "array"
    }
  },
  "type": "object",
  "required": [
    "names"
  ],
  "title": "StatRequest",
  "description": "StatRequest and NamesRequest are the JSON bodies of /v1/stat and /v1/get."
}