Resource
request
MCP request resource providing lazy access to request data and request-scoped context storage.
resource request;F id
id: func() -> id;Get the request ID.
F method
method: func() -> string;Get the request method.
F params
params: func() -> params;Get the request parameters.
F get
get: func(key: string) -> result<option<list<u8>>, _>;Get a context value by key.
F set
set: func(key: string, value: list<u8>) -> result<_, _>;Set a context value by key.
F add-capabilities
add-capabilities: func(capabilities: server-capabilities) -> result<_, _>;Add server capabilities to the request context.
F get-capabilities
get-capabilities: func() -> result<option<server-capabilities>, _>;Get the server capabilities associated with this request.
F from-input-stream
from-input-stream: func(input: borrow<input-stream>) -> result<request, stream-error>;Buffer the whole incoming JSON-RPC 2.0 request from the input-stream.