Optional
Theia-specific settings for extended thinking mode. These are processed by Theia and converted to provider-specific formats.
Theia-specific settings for extended thinking mode. These are processed by Theia and converted to provider-specific formats.