Theia API Documentation v1.69.0
    Preparing search index...
    • Checks if a tool call result indicates the tool was not available. This happens when the LLM tries to call a tool that wasn't provided in the request.

      Parameters

      • result: unknown

      Returns boolean