From a9d0eee2a9687c14c5a82d801a185ec280f05cf3 Mon Sep 17 00:00:00 2001 From: Danilo Leal <67129314+danilo-leal@users.noreply.github.com> Date: Tue, 10 Jun 2025 11:16:06 -0300 Subject: [PATCH] docs: Add link to MCP extensions in the overview page (#32458) Follow up to https://github.com/zed-industries/zed/pull/32422. Missed this one in this latest round of MCP-related docs changes. Release Notes: - N/A Co-authored-by: Peter Tripp --- docs/src/extensions.md | 1 + docs/src/extensions/mcp-extensions.md | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/src/extensions.md b/docs/src/extensions.md index 25bae742d7..fa40eedbee 100644 --- a/docs/src/extensions.md +++ b/docs/src/extensions.md @@ -8,3 +8,4 @@ Zed lets you add new functionality using user-defined extensions. - [Developing Themes](./extensions/themes.md) - [Developing Icon Themes](./extensions/icon-themes.md) - [Developing Slash Commands](./extensions/slash-commands.md) + - [Developing MCP Servers](./extensions/mcp-extensions.md) diff --git a/docs/src/extensions/mcp-extensions.md b/docs/src/extensions/mcp-extensions.md index 9f39086256..cf9c5a611b 100644 --- a/docs/src/extensions/mcp-extensions.md +++ b/docs/src/extensions/mcp-extensions.md @@ -35,7 +35,7 @@ If you need to download the MCP server from an external source—like GitHub Rel ## Available Extensions -Check out all the MCP servers that have already been exposed as Zed extensions [on Zed's site](https://zed.dev/extensions?filter=context-servers). +Check out all the MCP servers that have already been exposed as extensions [on Zed's site](https://zed.dev/extensions?filter=context-servers). We recommend taking a look at their repositories as a way to understand how they are generally created and structured.