convert skill tool to Tool.defineEffect (#21936)

This commit is contained in:
Kit Langton
2026-04-10 19:49:53 -04:00
committed by GitHub
parent cf27a73397
commit 5d6fe01465
3 changed files with 93 additions and 86 deletions
+2 -1
View File
@@ -116,6 +116,7 @@ export namespace ToolRegistry {
const edit = yield* EditTool
const greptool = yield* GrepTool
const patchtool = yield* ApplyPatchTool
const skilltool = yield* SkillTool
const state = yield* InstanceState.make<State>(
Effect.fn("ToolRegistry.state")(function* (ctx) {
@@ -185,7 +186,7 @@ export namespace ToolRegistry {
todo: Tool.init(todo),
search: Tool.init(websearch),
code: Tool.init(codesearch),
skill: Tool.init(SkillTool),
skill: Tool.init(skilltool),
patch: Tool.init(patchtool),
question: Tool.init(question),
lsp: Tool.init(lsptool),