GitHub MCP Server

This guide walks through connecting the GitHub MCP server to auxilia. GitHub uses static OAuth credentials, requiring you to create a GitHub OAuth App or GitHub App.

1. Create a GitHub OAuth App

1. Go to GitHub Developer Settings 
2. Click OAuth Apps → New OAuth App
3. Fill in the details:
   • Application name: auxilia MCP
   • Homepage URL: https://your-auxilia-domain.com
   • Authorization callback URL:

     https://your-auxilia-domain.com/mcp-servers/oauth/callback

     For local development:

     http://localhost:8000/mcp-servers/oauth/callback

4. Click Register application
5. Copy the Client ID
6. Click Generate a new client secret and copy it

2. Install the GitHub MCP Server

In auxilia, navigate to MCP Servers:

1. Find GitHub in the official servers list
2. Click Install
3. Enter the credentials from your GitHub OAuth App:
   • Client ID: Your GitHub app’s client ID
   • Client Secret: Your GitHub app’s client secret

3. Connect Your Account

1. Click the Connect button on the GitHub server card
2. You’ll be redirected to GitHub’s authorization page
3. Review the permissions and click Authorize
4. You’ll be redirected back to auxilia

4. Add to an Agent

1. Navigate to an agent’s configuration page
2. Click Add MCP Server
3. Select GitHub from the list
4. Configure tool settings as needed

Available Tools

The GitHub MCP server typically provides tools for:

• Searching repositories, issues, and pull requests
• Reading file contents and repository structure
• Creating and updating issues
• Managing pull requests
• Working with GitHub Actions
• Accessing organization and user data

Alternative: Personal Access Token

If you prefer not to set up OAuth, you can also connect using a GitHub Personal Access Token:

1. Go to GitHub → Settings → Developer settings → Personal access tokens → Fine-grained tokens 
2. Click Generate new token
3. Select the repositories and permissions your agent needs
4. Copy the token
5. In auxilia, add the GitHub MCP server as a custom server with auth type API Key and paste your token

This approach is simpler but the token is tied to a single user account and has a fixed expiration.