7 tools from the Developer Tools MCP Server MCP Server, categorised by risk level.
View the Developer Tools MCP Server policy →get_github_repo Fetch detailed statistics and metadata for a GitHub repository. Returns star count, fork count, open issue count, primary programming language, pro... get_npm_package Look up Node.js package information from NPM registry. Returns latest version, download statistics (weekly/monthly), dependency list, package descr... get_pypi_package Retrieve Python package information from PyPI (Python Package Index). Returns current version, download counts, dependencies, release history, pack... search_arxiv Search arXiv for academic papers in computer science, machine learning, AI, physics, and mathematics. Returns paper titles, authors, abstracts, sub... 2/5 search_github Search GitHub repositories by keyword to discover code, projects, and libraries. Returns matching repositories with star count, description, langua... 2/5 search_google_scholar Search Google Scholar for computer science research papers, citations, and academic publications. Returns paper title, authors, publication details... 2/5 search_stackoverflow Search Stack Overflow Q&A platform for programming questions, solutions, and code examples. Returns matching questions, answer count, view count, a... 2/5 The Developer Tools MCP Server MCP server exposes 7 tools across 1 categories: Read.
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 MCP Server server.
Developer Tools MCP Server tools are categorised as Read (7). Each category has a recommended default policy.
Open source. One binary. Zero dependencies.
npx -y @policylayer/intercept