Skip to content
Discussion options

You must be logged in to vote

Hi,

please avoid having two agents with the same name, as you cannot differenciate them in any UI. You can delete one by just modifying the customAgent.yml (click on add agent again) and remove all agents you do not want. There you can also edit the name.
MCP servers can be configured in the settings, see: https://theia-ide.org/docs/user_ai/#mcp-integration

Best regards,
Jonas

Replies: 1 comment

Comment options

You must be logged in to vote
0 replies
Answer selected by sowjanyagunupuru
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
2 participants