Reasonix · 第 4 章 Tool 接口与内置工具
文档摘要
Reasonix · 第 4 章 Tool 接口与内置工具 章节摘要:本章深潜 SPEC §3.2 Tool 接口。Tool 与 Provider 一样是 interface + Registry。内置工具丰富:bash(用 mvdan.cc/sh POSIX shell 解析)、edit/read/grep/glob、codeindex(用 tree-sitter 五语言语法树做代码语义索引)。TOOLCONTRACT.md 是工具契约文档;工具参数用 JSON Schema 校验(santhosh-tekuri/jsonschema);TOOLAPPROVALMODES.md 定义工具批准模式。本章共 3 节,前置依赖为第 1-3 章。
Reasonix · 第 4 章 Tool 接口与内置工具
章节摘要:本章深潜 SPEC §3.2 Tool 接口。Tool 与 Provider 一样是 interface + Registry。内置工具丰富:bash(用 mvdan.cc/sh POSIX shell 解析)、edit/read/grep/glob、codeindex(用 tree-sitter 五语言语法树做代码语义索引)。TOOL_CONTRACT.md 是工具契约文档;工具参数用 JSON Schema 校验(santhosh-tekuri/jsonschema);TOOL_APPROVAL_MODES.md 定义工具批准模式。本章共 3 节,前置依赖为第 1-3 章。
契约坐标
学习目标
- 读懂 Tool interface + Registry。
- 认识内置工具(bash/edit/read/grep/glob/codeindex)。
- 理解 tree-sitter 代码索引。
- 说清 TOOL_CONTRACT.md 工具契约。
- 理解工具参数 JSON Schema 校验与批准模式。
子章节导航
01 SPEC §3.2 Tool interface 与 Registry
Tool interface;Registry注册/查询;builtin init()自注册(read_file/write_file/edit_file/move_file/bash/ls/glob/grep);TOOL_CONTRACT.md工具契约(schema稳定保证缓存);工具参数JSON Schema校验。
02 bash 工具与 mvdan.cc/sh shell 解析
bash工具用mvdan.cc/sh v3 POSIX shell解析(不是直接system调用而是语法树分析);安全考虑(命令注入防护);工作目录管理;输出截断(防爆炸输出)。
03 codeindex 与 tree-sitter 代码语义索引
codeindex用tree-sitter(go/javascript/python/rust/typescript五语言语法树);代码符号索引(函数/类/变量定义位置);语义搜索vs文本grep;tree-sitter解析原理;为何选tree-sitter(增量解析/多语言/纯Go绑定)。
前置知识与后续延伸
前置:第1-3章。后续:第5章Agent会话用工具。