Merge branch 'main' of github.com:modelcontextprotocol/docs into zack-lee/updates

Author: zckly

mint.json

@@ -17,6 +17,9 @@
     "name": "GitHub",
     "url": "https://github.com/modelcontextprotocol"
   },
+  "search": {
+    "location": "top"
+  },
   "anchors": [
     {
       "name": "Python SDK",
@@ -37,15 +40,24 @@
   "navigation": [
     {
       "group": "Get Started",
-      "pages": ["introduction", "quickstart"]
+      "pages": [
+        "introduction",
+        "quickstart"
+      ]
     },
     {
       "group": "Your First MCP Server",
-      "pages": ["docs/first-server/python", "docs/first-server/typescript"]
+      "pages": [
+        "docs/first-server/python",
+        "docs/first-server/typescript"
+      ]
     },
     {
       "group": "Development Tools",
-      "pages": ["docs/tools/debugging", "docs/tools/inspector"]
+      "pages": [
+        "docs/tools/debugging",
+        "docs/tools/inspector"
+      ]
     },
     {
       "group": "Concepts",