Many users sit behind a proxy and therefore need to be able to configure their proxy settings.

• The OpenAI Api allows to configure proxy settings.
• Theia already offers some proxy settings.

This was reported by the community.

Feature Description:

• Leverage Theia's proxy settings to configure the Open AI Api accordingly
• If possible, do the same for the other providers, i.e. Ollama and Llamafile