Record

tool-options

Optional tool properties

record tool-options {
  meta: option<meta>,
  annotations: option<tool-annotations>,
  description: option<string>,
  output-schema: option<json>,
  title: option<string>,
}

Fields

Name	Type	Description
meta	option<meta>
annotations	option<tool-annotations>
description	option<string>
output-schema	option<json>	JSON Schema for tool output
title	option<string>