~/jendhub

def call

ezmcp@0.1.0.0 · src/server.bend:227

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

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

Uses (6)

Used by (1)