~/jendhub

def tools

ezmcp@0.1.0.0 · src/client.bend:27

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

27# a tools/list request
28def tools(id: Value.Json) -> Value.Json:
29  Rpc.request(id, "tools/list", Json.obj([]))

Uses (4)

Used by (1)