Overview
What is Dev-Kit GitHub MCP Server?
A modern, fast, and extensible GitHub Model Context Protocol (MCP) server for focused repository operations. It supports listing, creating, and commenting on issues and pull requests, as well as listing commits and tags, and is designed for automation, bots, and AI agents.
How to use Dev-Kit GitHub MCP Server?
Install via pip: pip install dev-kit-gh-mcp-server. For API and tool usage examples, refer to the documentation in the docs/ directory.
Key features of Dev-Kit GitHub MCP Server?
- List, create, and comment on issues and pull requests
- List commits, tags, and more
- Designed for automation, bots, and AI agents
- Fast, async, and robust
- Easy to extend with new repo/issue/PR operations
- Cross-platform support (Linux, Windows, macOS)
Use cases of Dev-Kit GitHub MCP Server?
- Automating issue triage and pull request management
- Integrating with AI agents to act on GitHub repositories
- Building bots that comment or react to PRs and issues
- Fetching commit and tag history for reporting or analysis
