"PingRequest": {
    "description": "A ping, issued by either the server or the client, to check that the other party is still alive. The receiver must promptly respond, or else may be disconnected.",
    "properties": {
        "method": {
            "const": "ping",
            "type": "string"
        },
        "params": {
            "additionalProperties": {},
            "properties": {
                "_meta": {
                    "properties": {
                        "progressToken": {
                            "$ref": "#/definitions/ProgressToken",
                            "description": "If specified, the caller is requesting out-of-band progress notifications for this request (as represented by notifications/progress). The value of this parameter is an opaque token that will be attached to any subsequent notifications. The receiver is not obligated to provide these notifications."
                        }
                    },
                    "type": "object"
                }
            },
            "type": "object"
        }
    },
    "required": [
        "method"
    ],
    "type": "object"
},