~/jendhub

def call

ezmcp@0.1.0.0 · src/client.bend:31

import ezmcp@0.1.0.0/src/client.bend as Client
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
import ezmcp@0.1.0.0/src/rpc.bend as Rpc

31# a tools/call request
32def call(id: Value.Json, name: String, args: Value.Json) -> Value.Json:
33  Rpc.request(id, "tools/call",
34    Json.obj([("name", Json.str(name)), ("arguments", args)]))

Uses (7)

Used by (1)