"author:arhancanli" matching MCP servers:

Enables agents and users to explore 117 open benchmark problems, check candidate certificates against exact offline sandboxed checkers, compare values to best-known records, and retrieve verified results, replays, and citations. Every check yields a verdict and exact value, never an estimate.