chore: add mcp.json

Author: kencyke

.vscode/mcp.json

@@ -0,0 +1,12 @@
+{
+	"inputs": [],
+	"servers": {
+		"lean-lsp": {
+			"type": "stdio",
+			"command": "uvx",
+			"args": [
+				"lean-lsp-mcp"
+			]
+		}
+	}
+}