Codeforces MCP Server

Claiming proves that you control a remote MCP connector. It does not move, proxy, or interrupt the server.

1. Open the connector listing, choose Claim ownership, and sign in to Glama.

2. Complete one verification method:

   • GitHub identity — fastest for official registry listings. For a namespace such as io.github.alice/server, link the matching GitHub user or an account that owns the GitHub organization, then choose Claim with GitHub.

   • HTTP challenge — works when you can deploy a public file. Generate a token, publish the exact JSON Glama shows at /.well-known/glama.json on the same origin as the connector, then choose Check HTTP challenge.

   • DNS challenge — works when you control DNS but cannot change the server. Generate a token, create the exact TXT record Glama shows, wait for it to propagate, then choose Check DNS challenge.

3. After verification, Glama sends a confirmation email and gives you access to listing details, thumbnails, health checks, and analytics. Keep the HTTP file or DNS record in place: Glama periodically checks it and ownership remains verified while the token is discoverable.

The HTTP ownership file has this structure:

{
  "$schema": "https://glama.ai/mcp/schemas/connector.json",
  "claim": "glama_claim_..."
}

Claim tokens are opaque, stable, and bound to the signed-in Glama account. They contain no email address or other personal information. If Glama can no longer discover a verified HTTP or DNS token, it starts a seven-day grace period before removing claim-based access. Restore the same token during that period to keep ownership verified. Never publish an email address, Glama session token, GitHub token, or connector credential as ownership proof.

If verification fails, confirm that you copied the current token exactly. The HTTP file must be public, return valid JSON with a successful HTTP response, and stay on the connector's origin. DNS changes may need more time to propagate. A claim cannot transfer to a different origin or hostname: if the connector target changes, Glama starts the grace period and the new target must be claimed separately after the previous claim is released.

For a connector linked to the official MCP Registry, registry updates continue to replace its name, description, and URL by default. After claiming, open Manage connector and enable Use Glama listing details as the source of truth if edits made on Glama should be preserved. Categories and thumbnails are always managed on Glama; registry linkage and technical connection settings continue to sync.

• Control your server's listing on Glama, including description and metadata

• Access analytics and receive server usage reports

• Get monitoring and health status updates for your server

• Feature your server to boost visibility and reach more users

To improve your MCP server's ranking:

• Claim ownership of the server listing

• Complete the server profile with an accurate description and thumbnail

• Provide a test profile so Glama can connect to and evaluate the server

• Keep tool definitions clear and complete to earn a high Tool Definition Quality Score (TDQS)

• Route real usage through the Glama Gateway; more recorded successful server uses also improve the ranking

For users:

• Full audit trail – every tool call is logged with inputs and outputs for compliance and debugging

• Granular tool control – enable or disable individual tools per connector to limit what your AI agents can do

• Centralized credential management – store and rotate API keys and OAuth tokens in one place

• Change alerts – get notified when a connector changes its schema, adds or removes tools, or updates tool definitions, so nothing breaks silently

For server owners:

• Proven adoption – public usage metrics on your listing show real-world traction and build trust with prospective users

• Tool-level analytics – see which tools are being used most, helping you prioritize development and documentation

• Direct user feedback – users can report issues and suggest improvements through the listing, giving you a channel you would not have otherwise

The connector status is unhealthy when Glama is unable to successfully connect to the server. This can happen for several reasons:

• The server is experiencing an outage

• The URL of the server is wrong

• Credentials required to access the server are missing or invalid

If you are the owner of this MCP connector and would like to make modifications to the listing, including providing test credentials for accessing the server, please contact support@glama.ai.