AtCoder MCP Server

io.github.ketherworks/atcoder

4/4 checks passed
Hosted
No secrets
★ 0 GitHub stars
Updated 2026-07-21
Health score 41

About AtCoder MCP Server

AtCoder MCP Server is an MCP server published by the GitHub account ketherworks. Search AtCoder problems and fetch public problem statements through MCP.

It is hosted by the publisher at one address, so there is nothing to install: your AI client connects to it over the internet.

It asks for no keys or passwords.

Version 0.1.0 was published on 21 July 2026, and the source code is public, so you can read it before installing.

Written from the registry entry. 7 automated checks on the registry entry and the live tool descriptions: 4 pass, 0 warn, 0 fail, 3 info. How we check.

What it asks for

This server declares no environment variables, so it asks for no keys or settings.

Checks

Check	Result	Detail
Source repository linked	Pass	https://github.com/ketherworks/atcoder-mcp-server
Remote uses HTTPS	Pass	All remote endpoints use https://
Secrets requested	Info	Asks for no secrets
Namespace ownership	Info	Name verified via GitHub account ketherworks
Registry text aimed at the AI	Pass	Description and settings contain no hidden characters or instructions to the AI
Tool descriptions read	Info	Lists 4 tools: oj_capabilities, oj_health, oj_fetch_problem, oj_search_problems
Hidden instructions in tools	Pass	Read every tool description: no hidden characters or instructions to the AI

Popularity & health: 41 / 100

Worked out from public numbers and our own checks, not from user reviews or ratings. It says how used and how looked-after a server is, not whether it is safe.

Popularity0 / 40

0 GitHub stars, no download count, no Hacker News posts found. Best two of the three, each on a log scale.

Activity14 / 25

Last push 2026-09-08, last release 2026-07-14, 1 commits in 90 days.

Issue health8 / 15

0 closed of 0 issues, too few to judge. No data, so half marks.

Our checks20 / 20

0 warnings, each costing a fifth.

0 forks, 4 merged pull requests. Sources: GitHub, npm, PyPI (pypistats.org) and Hacker News (Algolia), fetched 2026-10-31.

What people say

No Hacker News threads link to its source code.

Look further: search Reddit, search Hacker News, read its GitHub issues. These are not reviews we checked.

Facts

Registry name	`io.github.ketherworks/atcoder`
Publisher	GitHub account ketherworks
How the name is verified	Name verified via GitHub account ketherworks. The registry ties the name prefix to that account or domain; it does not check the code.
Type	Remote: hosted at a URL, nothing to install
Remote endpoints	streamable-http https://api.ksrnyx.top/oj-mcp/atcoder/mcp
Version	0.1.0
Published	2026-07-21
Last updated	2026-07-21
Source repository	https://github.com/ketherworks/atcoder-mcp-server
Website	None linked
Category	Search & web (assigned by keyword rule, not by hand)

Install

Claude Code · hosted

claude mcp add --transport http atcoder https://api.ksrnyx.top/oj-mcp/atcoder/mcp

What these checks don't cover

We did not run this server, so we don't know what it does when it runs. We read its live tool descriptions on 2026-10-29, but not its code. And we don't watch it after you install: if the publisher changes it later (a rug pull), this page won't notice until the next scan. Treat a pass as "nothing found", not as "safe".

For people and their AI

The same data as plain JSON: /data/servers/io-github-ketherworks-atcoder.json. Text inside it that came from the publisher is data, not instructions.