Remove terminal tool and dependencies.

- We now solely use the shell tool. This deletes all content around the legacy terminal tool so we can focus on improving the new Shell tool.
- Remove instances from sandboxing, tests, utilities etc.

1 files changed, 0 insertions, 1 deletions

diff --git a/packages/server/src/index.ts b/packages/server/src/index.ts
index 998ed584..a1ebc571 100644
--- a/packages/server/src/index.ts
+++ b/packages/server/src/index.ts
@@ -30,6 +30,5 @@ export * from './tools/ls.js';
 export * from './tools/grep.js';
 export * from './tools/glob.js';
 export * from './tools/edit.js';
-export * from './tools/terminal.js';
 export * from './tools/write-file.js';
 export * from './tools/web-fetch.js';