Openapi.tool: def of ezmcp@0.1.0.0
Import: import ezmcp@0.1.0.0/src/openapi.bend as Openapi
Lines 1045-1049 of ezmcp@0.1.0.0/src/openapi.bend: https://jend.leeeet.dev/read.txt?path=ezmcp@0.1.0.0/src/openapi.bend&start_line=1045&end_line=1049

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

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

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/openapi.bend&name=Op
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/server.bend&name=Tool