develop
Enters or queries a Nix dev shell. When a command is provided, runs it inside the dev shell and returns the result.
This record as markdown: /tools/io-github-dave-london-github/develop.md
What develop does on Github
AI agents invoke develop to trigger actions in Github. What it does depends on the arguments the agent supplies, and its effects often reach beyond the immediate call: builds kicked off, notifications sent, workflows started.
Why develop is rated High
This tool executes arbitrary commands inside a Nix dev shell when a command argument is provided. The blast radius is high because an attacker or misconfigured agent could run any shell command within the dev environment, potentially accessing secrets, modifying files, or compromising the build environment. The 'query' mode (no command) would be Read, but the primary capability is Execute.
From the tool's definition 'runs it inside the dev shell and returns the result' — executes arbitrary commands within a Nix development shell environment
Attacks that exploit this kind of access
The rule that runs develop safely
PolicyLayer is an MCP gateway: it sits between your AI agents and Github, and checks every tool call against a rule you set before the call runs. Nothing changes on the server itself. For develop, this is the rule to start with:
develop stays usable, but rate-capped: a runaway agent can't fire it dozens of times a minute. Everything else on the server is denied unless you say otherwise.
The button opens the PolicyLayer dashboard: create your workspace, connect Github, apply this rule, and every develop call is checked against it from then on.
Questions about develop
Enters or queries a Nix dev shell. When a command is provided, runs it inside the dev shell and returns the result. It is categorised as a Execute tool in the Github MCP Server, which means it can trigger actions or run processes. Use rate limits and argument validation.
Register the Github MCP server in PolicyLayer and add a rule for develop: allow, deny, rate-limit, or require approval. Point your MCP client at the PolicyLayer proxy URL and the rule is enforced on every call, before it reaches Github. Nothing to install.
develop is a Execute tool with high risk. Execute tools should be rate-limited and have argument validation enabled.
Yes. Add a rate_limit block to the develop rule in your PolicyLayer policy. For example, setting max: 10 and window: 60 limits the tool to 10 calls per minute. Rate limits are tracked per agent session and reset automatically.
Set action: deny in the PolicyLayer policy for develop. The AI agent will receive a policy violation error and cannot call the tool. You can also include a reason field to explain why the tool is blocked.
develop is provided by the Github MCP server (@paretools/github). PolicyLayer sits as a proxy in front of this server to enforce policies before tool calls reach the server.
More on Github, and thousands of servers like it.
Across the catalogue