Record
tool
Tool definition
Spec: https://spec.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 | Unique tool identifier |
| input-schema | json | JSON Schema describing tool parameters |
| options | option<tool-options> |