{
  "openapi": "3.1.0",
  "info": {
    "title": "Petstore reader",
    "version": "1.0.0"
  },
  "servers": [
    {"url": "https://petstore3.swagger.io/api/v3"}
  ],
  "paths": {
    "/pet/{petId}": {
      "get": {
        "operationId": "getPetById",
        "description": "Find one pet by its numeric identifier",
        "parameters": [
          {
            "name": "petId",
            "in": "path",
            "required": true,
            "schema": {"type": "integer"}
          }
        ],
        "responses": {
          "200": {
            "description": "Pet found",
            "content": {
              "application/json": {
                "schema": {
                  "type": "object",
                  "properties": {
                    "id": {"type": "integer"},
                    "name": {"type": "string"},
                    "status": {"type": "string"}
                  },
                  "required": ["id", "name"]
                }
              }
            }
          }
        }
      }
    }
  }
}