Theia API Documentation v1.65.0
    Preparing search index...

    A list of all available tools that were registered by all extensions using lm.registerTool. They can be called with lm.invokeTool with input that match their declared inputSchema.