doc_mcp_get_single_file – 1 MCP server offers this tool
What it usually takes
branch– in 1 of 1file_path– in 1 of 1repo_url– in 1 of 1
No server marks it as only reading: treat it as able to change data.
From each publisher's own tool list. We never call a tool.
Servers
| Server | Inputs | Read-only? |
|---|---|---|
Doc Mcp co.huggingface.agents-mcp-hackathon/doc-mcp Retrieve a single file from GitHub repository. Returns: JSON response with file content and metadata | branch,file_path,repo_url | Not stated |