Hello @Giulia Solinas
Thank you for reaching out and for clearly outlining your observations. It’s very helpful to understand where the documentation may not be clear enough, and we truly appreciate you pointing this out. We understand how the current documentation can be confusing when compared with videos and tutorials referencing a “marketplace.” Your feedback is very valuable, and we encourage you to submit it directly on the documentation so it can be improved for all users.

To help clarify your question:
As shown in the video and tutorial you referenced, MCP servers can be accessed within the Bob IDE interface by:
• Clicking the three dots located next to the gear icon in the upper-right corner of the chat window
• Selecting “MCP Servers” from the dropdown menu
Within that view:
• You will find a search bar labeled “Search MCP Servers”
• Below that search bar is what is referred to as the MCP Server Marketplace, where available servers can be discovered

This “marketplace” terminology is what is demonstrated in the tutorial, even though it may not yet be explicitly or clearly described in the current documentation version (v1.0.3).
Additionally, if possible, we kindly ask that you submit your documentation feedback so that our team can review and improve clarity around this topic for future users.
Please let us know if you would like assistance investigating why no servers appear in your search results.
Kind regards,
Maria