Download codex-rs/app-server-protocol/schema/json/JSONRPCMessage.json from SaylorTwift/codex: direct link, hf CLI and curl.
- Browser
- Download file 2.89 kB
-
https://huggingface.co/SaylorTwift/codex/resolve/main/codex-rs/app-server-protocol/schema/json/JSONRPCMessage.json
- Command line
-
hf download hf://SaylorTwift/codex/codex-rs/app-server-protocol/schema/json/JSONRPCMessage.json
-
curl -L -o JSONRPCMessage.json https://huggingface.co/SaylorTwift/codex/resolve/main/codex-rs/app-server-protocol/schema/json/JSONRPCMessage.json
2.89 kB
| { | |
| "$schema": "http://json-schema.org/draft-07/schema#", | |
| "anyOf": [ | |
| { | |
| "$ref": "#/definitions/JSONRPCRequest" | |
| }, | |
| { | |
| "$ref": "#/definitions/JSONRPCNotification" | |
| }, | |
| { | |
| "$ref": "#/definitions/JSONRPCResponse" | |
| }, | |
| { | |
| "$ref": "#/definitions/JSONRPCError" | |
| } | |
| ], | |
| "definitions": { | |
| "JSONRPCError": { | |
| "description": "A response to a request that indicates an error occurred.", | |
| "properties": { | |
| "error": { | |
| "$ref": "#/definitions/JSONRPCErrorError" | |
| }, | |
| "id": { | |
| "$ref": "#/definitions/RequestId" | |
| } | |
| }, | |
| "required": [ | |
| "error", | |
| "id" | |
| ], | |
| "type": "object" | |
| }, | |
| "JSONRPCErrorError": { | |
| "properties": { | |
| "code": { | |
| "format": "int64", | |
| "type": "integer" | |
| }, | |
| "data": true, | |
| "message": { | |
| "type": "string" | |
| } | |
| }, | |
| "required": [ | |
| "code", | |
| "message" | |
| ], | |
| "type": "object" | |
| }, | |
| "JSONRPCNotification": { | |
| "description": "A notification which does not expect a response.", | |
| "properties": { | |
| "method": { | |
| "type": "string" | |
| }, | |
| "params": true | |
| }, | |
| "required": [ | |
| "method" | |
| ], | |
| "type": "object" | |
| }, | |
| "JSONRPCRequest": { | |
| "description": "A request that expects a response.", | |
| "properties": { | |
| "id": { | |
| "$ref": "#/definitions/RequestId" | |
| }, | |
| "method": { | |
| "type": "string" | |
| }, | |
| "params": true, | |
| "trace": { | |
| "anyOf": [ | |
| { | |
| "$ref": "#/definitions/W3cTraceContext" | |
| }, | |
| { | |
| "type": "null" | |
| } | |
| ], | |
| "description": "Optional W3C Trace Context for distributed tracing." | |
| } | |
| }, | |
| "required": [ | |
| "id", | |
| "method" | |
| ], | |
| "type": "object" | |
| }, | |
| "JSONRPCResponse": { | |
| "description": "A successful (non-error) response to a request.", | |
| "properties": { | |
| "id": { | |
| "$ref": "#/definitions/RequestId" | |
| }, | |
| "result": true | |
| }, | |
| "required": [ | |
| "id", | |
| "result" | |
| ], | |
| "type": "object" | |
| }, | |
| "RequestId": { | |
| "anyOf": [ | |
| { | |
| "type": "string" | |
| }, | |
| { | |
| "format": "int64", | |
| "type": "integer" | |
| } | |
| ] | |
| }, | |
| "W3cTraceContext": { | |
| "properties": { | |
| "traceparent": { | |
| "type": [ | |
| "string", | |
| "null" | |
| ] | |
| }, | |
| "tracestate": { | |
| "type": [ | |
| "string", | |
| "null" | |
| ] | |
| } | |
| }, | |
| "type": "object" | |
| } | |
| }, | |
| "description": "Refers to any valid JSON-RPC object that can be decoded off the wire, or encoded to be sent.", | |
| "title": "JSONRPCMessage" | |
| } |