Two Options to Implement Workspace Search

1. Use Theia Internal Search Feature

This leverages the existing search mechanism used by the Theia UI, including support for regex.

• Pros:

  • Clear interface.
  • Likely straightforward to integrate and implement.

• Cons:

  • Introduces a new tool call.
  • Limited to search functionality only.

2. Use Terminal to Run grep

Run search operations via terminal commands (e.g., grep) through the terminal interface.

• Pros:

  • Unifies tool usage — reduces the number of separate tool functions in the long run.

• Cons:

  • Requires terminal access, which introduces potential security concerns and needs safeguards.