(request: Request)
| 125 | const decodeElicitationReplyResult = Schema.decodeUnknownOption(ElicitationReplyResult); |
| 126 | |
| 127 | const readJsonRpcEnvelope = (request: Request): Effect.Effect<Option.Option<JsonRpcEnvelope>> => |
| 128 | Effect.tryPromise({ |
| 129 | try: () => request.clone().text(), |
| 130 | catch: () => undefined, |
| 131 | }).pipe( |
| 132 | Effect.map((text) => (text ? decodeJsonRpcEnvelopeString(text) : Option.none())), |
| 133 | Effect.catchCause(() => Effect.succeed(Option.none())), |
| 134 | Effect.withSpan("mcp.request.read_json_rpc"), |
| 135 | ); |
| 136 | |
| 137 | const methodAttrs = (envelope: JsonRpcEnvelope): Record<string, unknown> => { |
| 138 | const params = envelope.params ?? {}; |
no test coverage detected