Codeforces MCP Server
io.github.ketherworks/codeforces
About Codeforces MCP Server
Codeforces MCP Server is an MCP server published by the GitHub account ketherworks. Search Codeforces problems and inspect public problem metadata through the official Codeforces API.
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. 6 automated checks on registry metadata: 3 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/codeforces-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 | Did not answer the MCP handshake (HTTP 500) |
Popularity & health: 43 / 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.
0 forks, 5 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/codeforces |
|---|---|
| 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://codeforces-oj-mcp.lantangtang54.workers.dev/mcp |
| Version | 0.1.0 |
| Published | |
| Last updated | |
| Source repository | https://github.com/ketherworks/codeforces-mcp-server |
| Website | None linked |
| Category | Search & web (assigned by keyword rule, not by hand) |
Related servers in Search & web
- Luogu MCP Server3/3Search Luogu problems, fetch statements, explore problem sets and…
- NuGet API Inspector4/4Inspect NuGet package APIs, dependencies, metadata, and breaking…
- Live UK Company Search7/7Search current public UK company metadata from the official…
- kosis-openapi-mcp6/6Korean official statistics (KOSIS) — tables, metadata and observations
- tableau-graphql-mcp7/7Ask any Tableau lineage question, in any MCP client, through the…
- SkillDash4/4Search and inspect source-pinned agent skills, plugins and tools…