Add devin-mcp contextual menu option

[mintlify]

Summary

• Added new devin-mcp contextual menu option to install the hosted MCP server in Devin
• Updated contextual menu, settings structure, and MCP documentation with Devin installation instructions
• Added localized translations for zh, fr, and es

This change reflects the frontend update from mintlify/mint#6535 which added Devin MCP connection to the contextual menu.

---

Note

Low Risk
Low risk documentation-only update that expands the documented contextual.options enum and adds a new integration path; no runtime code changes.

Overview
Adds a new contextual menu action, devin-mcp, documented as Connect to Devin for installing a hosted MCP server in Devin (alongside Cursor/VS Code).

Updates MCP docs to include Devin in the contextual-menu option table, adds a dedicated Devin setup tab with step-by-step connection instructions, and refreshes the Mintlify MCP example copy to mention Devin. Mirrors these documentation updates across es, fr, and zh, and updates docs.json schema docs (settings-reference/settings-structure) to include devin-mcp as a supported contextual.options value.

^{Written by Cursor Bugbot for commit 4083b51. This will update automatically on new commits. Configure here.}