{
  "servers": {
    "polypatch-gateway": {
      "name": "PolyPatch-11k Gateway",
      "description": "Query PolyPatch-11k, a multi-language corpus of 11,611 real-world GitHub issue-and-patch instances across 3,886 repositories and 7 languages. Sample or full-text search instances, fetch one by id, or read corpus statistics. Free and unmetered, no authentication. Returns the problem statement, the test patch, and statically-derived fail_to_pass test ids with provenance; the gold solution patch is never returned.",
      "url": "https://polypatch.lateos.ai/mcp"
    }
  }
}