Server.call: def of ezmcp@0.1.0.0
Import: import ezmcp@0.1.0.0/src/server.bend as Server
Lines 227-232 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=227&end_line=232

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

# tools/call: a known tool with object arguments is a call to run; anything
# else is an invalid-params error (server/tools#error-handling)
def call(srv: Server, +params: Value.Json) -> Step:
  match srv:
    case Server{name, version, instructions, tools}:
      call.named(tools, params, Json.as_str(Json.get(params, "name")))

Uses (6):
  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=Step
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/server.bend&name=call.named