Adding github copilot docs (#37311)

GitOrigin-RevId: 1f859d4a81060b3075e372e467dc77c784018d1c

Author: mikecann

npm-packages/docs/docs/ai.mdx

@@ -41,15 +41,16 @@ models work best with Convex, check out our LLM
 AI code generation is most effective when you provide it with a set of rules to
 follow.
 
-If you're using Cursor, add the `.mdc` files in your project's `.cursor/rules/`
-directory:
+See these documents for install instructions:
 
-- [Convex Cursor Rules](https://convex.link/convex_rules.mdc)
+- [Cursor](/ai/using-cursor.mdx#add-convex-cursorrules)
+- [Windsurf](/ai/using-windsurf.mdx#add-convex-rules)
+- [Github Copilot](/ai/using-github-copilot.mdx#add-convex-instructions)
 
 For all other IDEs, add the following rules file to your project and refer to it
 when prompting for changes:
 
-- [Convex Rules](https://convex.link/convex_rules.txt)
+- [convex_rules.txt](https://convex.link/convex_rules.txt)
 
 We're constantly working on improving the quality of these rules for Convex by
 using rigorous evals. You can help by

npm-packages/docs/docs/ai/convex-mcp-server.mdx

@@ -19,6 +19,7 @@ See editor specific instructions:
 
 - [Cursor](/ai/using-cursor.mdx#setup-the-convex-mcp-server)
 - [Windsurf](/ai/using-windsurf.mdx#setup-the-convex-mcp-server)
+- [VSCode](/ai/using-github-copilot.mdx#setup-the-convex-mcp-server)
 
 ## Available Tools
 

npm-packages/docs/docs/ai/using-github-copilot.mdx

@@ -0,0 +1,72 @@
+---
+title: "Using Github Copilot with Convex"
+sidebar_position: 200
+description: "Tips and best practices for using Github Copilot with Convex"
+slug: "using-github-copilot"
+---
+
+[Github Copilot](https://github.com/features/copilot), the AI built into VSCode,
+makes it easy to write and maintain apps built with Convex. Let's walk through
+how to setup Github Copilot for the best possible results with Convex.
+
+## Add Convex Instructions
+
+Add the following
+[instructions](https://code.visualstudio.com/docs/copilot/copilot-customization#_instruction-files)
+file to your `.github/instructions` directory in your project and it will
+automatically be included when working with Typescript or Javascript files:
+
+- [convex.instructions.md](https://convex.link/convex_github_copilot_instructions)
+
+![Showing Where to Put Github Copilot Instructions](/img/showing-where-to-put-convex-instructions.png)
+
+If you would rather that the instructions file is NOT automatically pulled into
+context then open the file in your editor and alter the `applyTo` field at the
+top. Read more about instructions files here:
+https://code.visualstudio.com/docs/copilot/copilot-customization#_use-instructionsmd-files
+
+We're constantly working on improving the quality of these rules for Convex by
+using rigorous evals. You can help by
+[contributing to our evals repo](https://github.com/get-convex/convex-evals).
+
+## Setup the Convex MCP Server
+
+The Convex CLI comes with a
+[Convex Model Context Protocol](/ai/convex-mcp-server.mdx) (MCP) server built
+in. The Convex MCP server gives your AI coding agent access to the your Convex
+deployment to query and optimize your project.
+
+To get started with
+[MCP in VSCode](https://code.visualstudio.com/docs/copilot/chat/mcp-servers)
+then create a file in `.vscode/mcp.json` and add the following:
+
+```json
+{
+  "servers": {
+    "convex-mcp": {
+      "type": "stdio",
+      "command": "npx",
+      "args": ["-y", "convex@latest", "mcp", "start"]
+    }
+  }
+}
+```
+
+Once this is done it will take a few seconds to start up the MCP server and then
+you should see the Convex tool listed in the codelens:
+
+![Convex Tool in Codelens](/img/convex-tool-in-codelens.png)
+
+and in the selection of tools that the model has access to in chat:
+
+![Convex Tool in Chat](/img/convex-tools-in-chat.png)
+
+Now start asking it questions like:
+
+- Evaluate and convex schema and suggest improvements
+- What are this app's public endpoints?
+- Run the `my_convex_function` query
+
+If you want to use the MCP server globally for all your projects then you can
+add it to your user settings, please see these docs for more information:
+https://code.visualstudio.com/docs/copilot/chat/mcp-servers#_add-an-mcp-server-to-your-user-settings