Theia API Documentation v1.65.0
    Preparing search index...
    interface ToolRequestParameters {
        properties: ToolRequestParametersProperties;
        required?: string[];
        type?: "object";
    }
    Index

    Properties

    required?: string[]
    type?: "object"