Record
ping-request
========================================================================= Request/Response Types: Ping
Ping request
Spec: https://spec.modelcontextprotocol.io/specification/2025-06-18/schema#pingrequest
record ping-request {
meta: option<meta>,
progress-token: option<progress-token>,
extras: list<tuple<string, json>>,
}Fields
| Name | Type | Description |
|---|---|---|
| meta | option<meta> | |
| progress-token | option<progress-token> | Progress token for tracking |
| extras | list<tuple<string, json>> | Additional data |