Record
tool
Tool definition
record tool {
name: string,
input-schema: json,
options: option<tool-options>,
}Fields
| Name | Type | Description |
|---|---|---|
| name | string | Unique tool identifier |
| input-schema | json | JSON Schema describing tool parameters |
| options | option<tool-options> |