Getting it into your agent
One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.
npx agentmods add mcp/stefanhoelzl/codehydra/appctrlgit clone --depth 1 https://github.com/stefanhoelzl/codehydraGrade A, and why
appctrl scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 2d ago.
A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.
Nothing flagged
None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.
What it actually says
{
"appctrl": {
"type": "stdio",
"command": "npx",
"args": [
"tsx",
"scripts/appctrl.ts"
]
}
}What this file has done since we first saw it
Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.
- 2d ago First seen · 10 lines scan A baa6a5cff352
appctrl is an MCP server published in the GitHub repository stefanhoelzl/codehydra (20 stars, last pushed 3d ago), licensed MIT. Its token cost is not measured: an MCP server costs its tool schemas, not its config file. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-30.
Other mcp servers, from other repositories
go-language-server
MCP server "go-language-server" as configured in coder/coder. Launched with go run github.com/isaacphi/mcp-language-server@latest -workspace ./ -lsp go -- r.
typescript-language-server
MCP server "typescript-language-server" as configured in coder/coder. Launched with go run github.com/isaacphi/mcp-language-server@latest -workspace ./site/ -lsp pn.
coder
Manage Coder workspaces, templates, and cloud development environments. Remote server at {coder_hostname}.
storybook
MCP server "storybook", hosted remotely at localhost, as configured in coder/coder.
agent-harness-kit
MCP server "agent-harness-kit" as configured in enmanuelmag/agent-harness-kit. Launched with ahk serve --port 3702.
scc-mcp
Security Command Center MCP server. Runs locally from the scc-mcp Python package.