GitHub

Description

Integration with GitHub Issues, Pull Requests, and more.

Visit the server homepage (↗) for more information about how to use this MCP server.

Authorisation

To use this MCP server, you need API credentials in your environment. Please refer to the server homepage (↗) for more information.

Usage

To use this MCP server in your Portia project, you need to create an McpToolRegistry instance and pass it to the Portia constructor.

McpToolRegistry.from_stdio_connection(
    server_name="github",
    command="docker",
    args=[
        "run",
        "-i",
        "--rm",
        "-e",
        "GITHUB_PERSONAL_ACCESS_TOKEN",
        "ghcr.io/github/github-mcp-server",
    ],
    env={"GITHUB_PERSONAL_ACCESS_TOKEN": "<personal_access_token>"},
)
                    

Complete example

Equip your Portia instance with the tools from the MCP server, in addition to the default tools from the DefaultToolRegistry:

from portia import DefaultToolRegistry, McpToolRegistry, Portia, Config

config = Config.from_default()
tool_registry = DefaultToolRegistry(config) +  McpToolRegistry.from_stdio_connection(
    server_name="github",
    command="docker",
    args=[
        "run",
        "-i",
        "--rm",
        "-e",
        "GITHUB_PERSONAL_ACCESS_TOKEN",
        "ghcr.io/github/github-mcp-server",
    ],
    env={"GITHUB_PERSONAL_ACCESS_TOKEN": "<personal_access_token>"},
)
                    

portia = Portia(config=config, tools=tool_registry)

Copy to clipboard

Click the "copy" icon in the top right corner of the code block to copy the code to your clipboard.

See more information about integrating MCP servers here (↗).