Add Codex CLI plugin manifest

Author: internet-dot

.codex-plugin/plugin.json

@@ -0,0 +1,24 @@
+{
+  "name": "github-mcp",
+  "version": "0.1.0",
+  "description": "GitHub's official MCP Server from Codex via remote MCP",
+  "author": {
+    "name": "github",
+    "url": "https://github.com/github/github-mcp-server"
+  },
+  "homepage": "https://github.com/github/github-mcp-server",
+  "repository": "https://github.com/github/github-mcp-server",
+  "keywords": [
+    "mcp",
+    "codex"
+  ],
+  "mcpServers": "./.mcp.json",
+  "skills": "./skills/",
+  "interface": {
+    "displayName": "GitHub MCP Server",
+    "shortDescription": "GitHub's official MCP Server from Codex via remote MCP",
+    "longDescription": "GitHub's official MCP Server. Manage issues, pull requests, repositories, and more through GitHub Copilot's MCP endpoint.",
+    "category": "Development",
+    "websiteURL": "https://github.com/github/github-mcp-server"
+  }
+}

.mcp.json

@@ -0,0 +1,8 @@
+{
+  "mcpServers": {
+    "github": {
+      "type": "http",
+      "url": "https://api.githubcopilot.com/mcp/"
+    }
+  }
+}

skills/github-mcp/SKILL.md

@@ -0,0 +1,12 @@
+---
+name: github-mcp
+description: GitHub's official MCP Server from Codex via remote MCP
+---
+
+# GitHub MCP Server for Codex
+
+Use GitHub MCP Server from Codex via MCP.
+
+## When to use
+- When you need github-mcp capabilities in your Codex workflow
+- See https://github.com/github/github-mcp-server for full setup instructions