~/jendhub

def init

ezmcp@0.1.0.0 · src/server.bend:149

import ezmcp@0.1.0.0/src/server.bend as Server
import Base
import emerging-ezjson@1.2.0.0/main.bend as Json
import emerging-ezjson@1.2.0.0/src/value.bend as Value

149# the result of initialize (basic/lifecycle#initialization)
150def init(srv: Server, params: Value.Json) -> Value.Json:
151  match srv:
152    case Server{name, version, instructions, tools}:
153      init.with(negotiate(Json.as_str(Json.get(params, "protocolVersion"))),
154        capabilities(tools), init.info(name, version), instructions)

Uses (8)

Used by (1)