Set up the official Devin MCP server so external AI tools can manage sessions, playbooks, knowledge, and repository docs.