Skip to main content

GitHub Server

Overview

The GitHub server provides comprehensive integration with GitHub repositories, enabling AI assistants to manage issues, pull requests, code files, and development workflows programmatically.

Getting Started

1

Connect to GitHub

Add the GitHub server to your Civic environment through the server directory.
2

Test Connection

Start with a simple tool like get_me or search_repositories to verify the connection works properly.

What You Can Do

Issue Management

Create, update, and track issues across repositories with full comment management

Pull Request Workflows

Manage PRs from creation to merge, including reviews, comments, and status checks

Code Operations

Read, create, and modify files directly in repositories with branch management

Repository Search

Search across repositories, code, users, and issues to find relevant information

Use Cases

  • PR Creation: Automatically create pull requests from feature branches with proper descriptions
  • Code Reviews: Generate review comments and suggestions based on code changes
  • Issue Triage: Automatically label and assign issues based on content analysis
  • Branch Management: Create feature branches and manage merge workflows
  • Issue Tracking: Monitor project progress through issue creation and updates
  • Status Reports: Generate project status reports from commit history and PR activity
  • Team Coordination: Track team member contributions and code review assignments
  • Release Management: Coordinate releases by analyzing commit history and issue resolution
  • Code Search: Find similar patterns, functions, or implementations across repositories
  • Documentation Updates: Automatically update documentation based on code changes
  • Security Monitoring: Track and respond to security scanning alerts
  • Dependency Analysis: Monitor repository dependencies and update requirements

Available Tools (39)

Tool counts may change as the server evolves. See individual categories below for current capabilities.
Authentication and user information management.
Get details of the authenticated user including profile information and permissions
Complete issue lifecycle management including creation, updates, and comments.Core Issue Operations
Get the complete contents and metadata of a specific issue within a repository
Create new issues with title, description, labels, and assignees
List all issues in a repository with filtering and sorting options
Update existing issues including status, labels, assignees, and descriptions
Search for issues across repositories using GitHub’s powerful search syntax
Issue Comments
Retrieve all comments for a specific issue including author and timestamp information
Add new comments to existing issues for collaboration and updates
Comprehensive pull request workflows from creation to merge.PR Core Operations
Get complete details of a pull request including metadata, status, and changes
Create new pull requests with title, description, and branch specifications
List all pull requests in a repository with filtering by status, author, or branch
Update PR title, description, labels, or other metadata
Merge approved pull requests using different merge strategies
PR Analysis
Get list of files changed in a pull request with diff information
Check the status of pull request including CI/CD checks and review status
Update pull request branch with latest changes from base branch
PR Collaboration
Retrieve all comments on a pull request for review and discussion
Get all code reviews and their status (approved, changes requested, etc.)
Create comprehensive code reviews with comments and approval status
Add specific line-by-line comments during code review process
Request automated code review assistance from GitHub Copilot
Direct file manipulation and code management within repositories.
Create new files or update existing files in repositories with commit messages
Read the contents of any file in a repository with support for different branches
Push multiple file changes to a repository in a single commit
Repository-level operations including creation, forking, and discovery.
Search for repositories across GitHub using various criteria and filters
Create new repositories with specified settings, visibility, and initial content
Fork existing repositories to your account or organization for contributions
Git workflow management including branching, commits, and history.
List all branches in a repository with their latest commit information
Create new branches from existing branches for feature development
Get commit history for a repository or specific branch with author and message details
Get detailed information about a specific commit including file changes
Advanced search capabilities across GitHub’s entire platform.
Search for specific code patterns, functions, or implementations across repositories
Find GitHub users based on various criteria like location, followers, or repositories
Security monitoring and vulnerability management tools.
Get details of specific code security alerts and vulnerabilities
List all code scanning security alerts for a repository
Get details of secret scanning alerts for exposed credentials
List all secret scanning alerts to identify exposed sensitive information

Resources

The GitHub server provides direct access to GitHub data through resource endpoints.
Access entire data collections for browsing and discovery:

Repositories

github://repositories
Access repository listings and metadata

Issues

github://issues
Browse issues across accessible repositories

Pull Requests

github://pull-requests
View pull request data and status

Users

github://users
Access user profiles and information
Access specific records when you know their ID:

Repository

github://repositories/{owner}/{repo}
Get specific repository details

Issue

github://issues/{owner}/{repo}/{number}
Get individual issue details

Pull Request

github://pull-requests/{owner}/{repo}/{number}
Get specific pull request information

User

github://users/{username}
Get user profile and activity
Pro Tip: Use collection endpoints to discover repositories and issues, then switch to individual record endpoints for detailed operations.

Guardrails

In addition to the 14 universal guardrails, this server has 30 server-specific guardrails across 13 operations.
GitHub has a strong “vetted org/repo” access control theme — many guardrails restrict all operations to pre-approved organizations and repositories.
GuardrailOperationTimingDescription
Redact Commit Author Emailget_commitResponseRedacts author email addresses from commit data
Redact Owned Private Repos Countget_meResponseRedacts information about owned private repositories
Redact Private Gists Countget_meResponseRedacts information about private gists
Redact Total Private Repos Countget_meResponseRedacts information about total private repositories
Redact User Email Addressesget_meResponseRedacts email addresses from user data
Redact User Locationget_meResponseRedacts user location data
Redact User Real Nameget_meResponseRedacts user’s real name
Redact Team Member Emailget_team_membersResponseRedacts email addresses from team member data
Restrict Team Access to Vetted Orgsget_team_membersRequestOnly allows team operations on vetted organizations
Redact Issue Author Informationissue_readResponseRedacts author information from issues
Filter Branches to Vetted Listlist_branchesResponseRedacts non-vetted branches from branch listings
Filter Commits to Vetted Authorslist_commitsResponseRedacts commits from non-vetted authors
Filter Issues to Vetted Reposlist_issuesResponseRedacts issues from non-vetted repositories
Filter Notifications to Vetted Reposlist_notificationsResponseRedacts notifications from non-vetted repositories
Filter Pull Requests to Vetted Reposlist_pull_requestsResponseRedacts pull requests from non-vetted repositories
Redact PR Author Informationpull_request_readResponseRedacts author information from pull requests
Filter Code Search Resultssearch_codeResponseRedacts code results from non-vetted repositories
Restrict Code Searchsearch_codeRequestOnly allows code searches within vetted repositories
Filter Issue Search Resultssearch_issuesResponseRedacts issues from non-vetted repositories in search results
Restrict Issue Searchsearch_issuesRequestOnly allows searching issues within vetted repositories
Filter Pull Request Search Resultssearch_pull_requestsResponseRedacts PRs from non-vetted repositories in search results
Restrict Pull Request Searchsearch_pull_requestsRequestOnly allows searching PRs within vetted repositories
Filter Repository Search Resultssearch_repositoriesResponseRedacts non-vetted repositories from search results
Restrict Repository Searchsearch_repositoriesRequestOnly allows searching within vetted repositories
Filter User Search Resultssearch_usersResponseRedacts users outside vetted organizations from search results
Redact Email from User Searchsearch_usersResponseRedacts email addresses from user search results
Redact Private Repositories(all operations)ResponseRedacts private repository information from all responses
Restrict to Vetted Organizations(all operations)RequestOnly allows operations on repositories from whitelisted organizations
Restrict to Vetted Repositories(all operations)RequestOnly allows operations on whitelisted repositories
Configure guardrails via the Civic UI or ask the Configurator Agent: “Add guardrails to my GitHub server.”