chore: remove codesearch tool (#27019)

This commit is contained in:
Shoubhit Dash
2026-05-12 13:44:02 +05:30
committed by GitHub
parent 61174b7878
commit 2481dde36d
11 changed files with 4 additions and 107 deletions

View File

@@ -206,7 +206,6 @@ export const layer = Layer.effect(
glob: "allow",
webfetch: "allow",
websearch: "allow",
codesearch: "allow",
read: "allow",
repo_clone: "allow",
repo_overview: "allow",