Codeforces mcp server: https://github.com/nileshpahari/cf-mcp