// MCP TOOL REFERENCE

DEVELOPER TOOLS TOOLS

7 tools from the Developer Tools MCP Server, categorised by risk level.

READ TOOLS

get_github_repo Get GitHub repository details get_npm_package Get npm package details get_pypi_package Get PyPI package details search_arxiv_papers Search arXiv papers 2/5 search_github Search GitHub repositories 2/5 search_scholar Search Google Scholar 2/5 search_stackoverflow Search Stack Overflow 2/5

// FAQ

How many tools does the Developer Tools MCP server have? +

The Developer Tools MCP server exposes 7 tools across 1 categories: Read.

How do I enforce policies on Developer Tools tools? +

Use Intercept, the open-source MCP proxy. Write YAML rules for each tool — rate limits, argument validation, or deny rules — then run Intercept in front of the Developer Tools server.

What risk categories do Developer Tools tools fall into? +

Developer Tools tools are categorised as Read (7). Each category has a recommended default policy.

Enforce policies on Developer Tools

Open source. One binary. Zero dependencies.

npx -y @policylayer/intercept

github.com/policylayer/intercept →