Record
tool
Tool definition. https://modelcontextprotocol.io/specification/2025-06-18/schema#tool
record tool {
name: string,
input-schema: json,
options: option<tool-options>,
}Fields
| Name | Type | Description |
|---|---|---|
| name | string | |
| input-schema | json | |
| options | option<tool-options> |