github-repo-mcp_getRepoFile
Retrieve specific files from GitHub repositories to support academic research and development workflows by providing direct access to code and documentation.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repoUrl | Yes | The URL of the Github repo | |
| path | Yes | The file path to fetch |
Implementation Reference
- src/all_in_mcp/server.py:41-46 (registration)Configuration/registration of the external 'github-repo-mcp' MCP server in the FastMCP proxy. This server provides GitHub repository tools, including 'getRepoFile', exposed as 'github-repo-mcp_getRepoFile' in the proxy.if _str_to_bool(os.getenv("GITHUB_REPO_MCP", "false")): config["mcpServers"]["github-repo-mcp"] = { "type": "stdio", "command": "npx", "args": ["github-repo-mcp"], }