diff --git a/.codex-plugin/plugin.json b/.codex-plugin/plugin.json new file mode 100644 index 000000000..13f9f1ce7 --- /dev/null +++ b/.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" + } +} \ No newline at end of file diff --git a/.github/workflows/plugin-quality-gate.yml b/.github/workflows/plugin-quality-gate.yml new file mode 100644 index 000000000..c60a724af --- /dev/null +++ b/.github/workflows/plugin-quality-gate.yml @@ -0,0 +1,20 @@ +name: Plugin Quality Gate + +on: + pull_request: + paths: + - ".codex-plugin/**" + - "skills/**" + - ".mcp.json" + +jobs: + scan: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v4 + - name: Codex plugin quality gate + uses: hashgraph-online/hol-codex-plugin-scanner-action@v1 + with: + plugin_dir: "." + min_score: 80 + fail_on_severity: high diff --git a/.mcp.json b/.mcp.json new file mode 100644 index 000000000..99498c529 --- /dev/null +++ b/.mcp.json @@ -0,0 +1,8 @@ +{ + "mcpServers": { + "github": { + "type": "http", + "url": "https://api.githubcopilot.com/mcp/" + } + } +} \ No newline at end of file diff --git a/skills/github-mcp/SKILL.md b/skills/github-mcp/SKILL.md new file mode 100644 index 000000000..b7e5875cb --- /dev/null +++ b/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