doc_mcp_list_repository_files – 1 MCP server offers this tool
What it usually takes
branch– in 1 of 1extensions– 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 List all files in a GitHub repository with specified extensions. Returns: JSON response with file list and metadata | branch,extensions,repo_url | Not stated |