Record
ping-request
https://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> | |
| extras | list<tuple<string, json>> |