~/jendhub

def tool

ezmcp@0.1.0.0 · src/openapi.bend:1045

import ezmcp@0.1.0.0/src/openapi.bend as Openapi
import Base
import ezmcp@0.1.0.0/src/server.bend as Server

1045# an operation's tool
1046def tool(oper: Op) -> Server.Tool:
1047  match oper:
1048    case Op{name, description, input, method, path, params, media}:
1049      Server.Tool{name, description, input}

Uses (2)

Used by (1)