Server.init: def of ezmcp@0.1.0.0
Import: import ezmcp@0.1.0.0/src/server.bend as Server
Lines 149-154 of ezmcp@0.1.0.0/src/server.bend: https://jend.leeeet.dev/read.txt?path=ezmcp@0.1.0.0/src/server.bend&start_line=149&end_line=154

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

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

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/main.bend&name=as_str
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/main.bend&name=get
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=Json
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/server.bend&name=Server
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/server.bend&name=capabilities
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/server.bend&name=init.info
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/server.bend&name=init.with
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/server.bend&name=negotiate