~/jendhub

def list

ezmcp@0.1.0.0 · src/server.bend:172

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

172# the result of tools/list: every tool, in order, on one page
173def list(srv: Server) -> Value.Json:
174  match srv:
175    case Server{name, version, instructions, tools}:
176      Json.obj([("tools", Json.arr(tool.all(tools)))])

Uses (7)

Used by (1)