github / github-mcp-server

Official MCP server that lets AI tools read repositories, manage issues and pull requests, and query GitHub Actions and security data.

docmirror / dev-sidecar

Desktop proxy that routes blocked or slow developer requests, mainly GitHub and Stack Overflow, through domestic acceleration channels via a local HTTPS proxy.

openai / symphony

Orchestrates isolated, autonomous coding-agent runs that pick up tasks from a project board such as Linear and deliver pull requests.