Theia AI - Codestral issue

[sgerard-irtjv]

Discussion

Dear all,
I try to configure my Theia IDE - AI with my Mistral account. It is ok for mistral-, but I have a connection issue with codestral.
here is my config (without the right key..)

{
"model": "codestral-latest",
"url": "https://codestral.mistral.ai/v1/chat/completions",
"id": "Codestral-latest-chat",
"apiKey": "mykeytocodestral",
"developerMessageSettings": "user"
},
{
"model": "codestral-latest",
"url": "https://codestral.mistral.ai/v1/chat/completions",
"id": "Codestral-latest-completion",
"apiKey": "mykeytocodestral",
"developerMessageSettings": "user"
}

A priori, I have my key for codestral is valid because when I test it directly. I get an answer to the next request :

curl -X POST https://codestral.mistral.ai/v1/chat/completions
-H "Authorization: Bearer mykeytocodestral"
-H "Content-Type: application/json"
-d '{
"model": "codestral-latest",
"messages": [{"role": "user", "content": "Complète ce code : def somme(a, b):"}]
}'

But when I asked the Coder agent a question in the chat window, I got a 504 error.
Can someone help me?
Thanks.
Best,
Sébastien.

[github-actions[bot]]

Hi @sgerard-irtjv, thanks for starting this discussion! 👋

The Theia community will take a look soon. In the meantime, you might find helpful information in:

• 📖 Theia Documentation
• ❓ FAQ
• 💬 Previous Discussions

---

💙 Eclipse Theia is built and maintained by a community of contributors and sponsors. If Theia is valuable to your work, consider sponsoring the project. For professional support, training, or consulting services, learn more about available options.

[ndoschek]

Hi @sgerard-irtjv, thanks for bringing this up!

The likely cause is the url in your config. Theia uses it as the base URL for the OpenAI client, which appends /chat/completions itself. So your requests end up going to https://codestral.mistral.ai/v1/chat/completions/chat/completions.

Could you try using just the base URL?

{
    "model": "codestral-latest",
    "url": "https://codestral.mistral.ai/v1",
    "id": "Codestral-latest-chat",
    "apiKey": "mykeytocodestral",
    "developerMessageSettings": "user"
},
{
    "model": "codestral-latest",
    "url": "https://codestral.mistral.ai/v1",
    "id": "Codestral-latest-completion",
    "apiKey": "mykeytocodestral",
    "developerMessageSettings": "user"
}

If the 504 persists after that, could you share the backend logs? You'll find them in the terminal where you started Theia (browser app) or in the Electron main process output. Starting with THEIA_LOG_LEVEL=debug gives the most detail. A wrong path would usually give a 404, so there may be a second thing going on (streaming, proxy, etc.) that the logs would reveal.
Thanks!

[sgerard-irtjv]

Hi,
thanks. It is now ok.
Best,
Sébastien.