def tool.json

ezmcp@0.1.0.0 · src/server.bend:158

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

158# one tool as tools/list shows it (server/tools#tool)
159def tool.json(tail: Tool) -> Value.Json:
160  match tail:
161    case Tool{name, description, input}:
162      Json.obj([("name", Json.str(name)), ("description", Json.str(description)),
163        ("inputSchema", input)])