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/ketherworks/atcoder-mcp-server/atcodergit clone --depth 1 https://github.com/ketherworks/atcoder-mcp-serverGrade A, and why
atcoder 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 yesterday.
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
{
"atcoder": {
"url": "https://api.ksrnyx.top/oj-mcp/atcoder/mcp",
"type": "streamable-http"
}
}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.
- yesterday First seen · 6 lines scan A d627e2682f54
atcoder is an MCP server published in the GitHub repository ketherworks/atcoder-mcp-server (0 stars, last pushed 1mo 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-31.
Other mcp servers, from other repositories
senado-br-mcp-cloudflare
MCP server for Brazilian Federal Senate open data (legislative, administrative, e-Cidadania). Runs locally from the senado-br-mcp npm package.
causallayer-mcp
Deterministic AI-liability attribution: signed, Bitcoin-anchored vendor/deployer/user fault split. Remote server at causallayer-mcp-demo.zykm9qkk7j.workers.dev.
causallayer
Deterministic AI liability attribution with Bitcoin-anchored proof certificates. Runs locally from the causallayer-mcp npm package.
newsline
News from 17 outlets with left/center/right bias tags and one-sided blindspot detection. Remote server at news.heyitsmejosh.com.
luogu-mcp-server
Search Luogu problems, fetch statements, explore problem sets and get practice recommendations. Remote server at luogu-mcp-server.lantangtang54.workers.dev.
gw1-mcp
MCP server "gw1-mcp", hosted remotely at gw1-mcp.graphmaxer.workers.dev, as configured in Graphmaxer/gw1-mcp.