Is the Cyberelf Whetstone Tools MCP server down?

• Added readOnlyHint: true (inferred from the name). (verify)

{
  "name": "bank_health",
  "description": "Item-lifecycle diagnostics over your grading history: discriminators, saturated and flaky items, frontier gaps. Full example: GET /api/examples key 'health'.",
  "inputSchema": {
    "type": "object",
    "required": [
      "history"
    ],
    "properties": {
      "items": {
        "type": "array",
        "items": {
          "type": "object",
          "required": [
            "item_id"
          ],
          "properties": {
            "domain": {
              "type": "string"
            },
            "item_id": {
              "type": "string",
              "minLength": 1
            }
          },
          "additionalProperties": true
        },
        "maxItems": 5000,
        "minItems": 0,
        "description": "Optional item definitions."
      },
      "history": {
        "type": "array",
        "items": {
          "type": "object",
          "required": [
            "item_id",
            "system",
            "passed"
          ],
          "properties": {
            "domain": {
              "type": "string"
            },
            "passed": {
              "type": "boolean"
            },
            "system": {
              "type": "string",
              "minLength": 1
            },
            "item_id": {
              "type": "string",
              "minLength": 1
            }
          },
          "additionalProperties": true
        },
        "maxItems": 5000,
        "minItems": 1,
        "description": "Observed item/system outcomes."
      }
    },
    "description": "Diagnose item lifecycle health from one or more grading-history rows.",
    "additionalProperties": false
  },
  "annotations": {
    "readOnlyHint": true
  }
}

• Added readOnlyHint: true (inferred from the name). (verify)

{
  "name": "counterexample_hunt",
  "description": "Bounded simulated-annealing search for a graph counterexample inside a DSL predicate class, with an exact certificate when found. CPU-bounded and strictly rate-limited. Full example: GET /api/examples key 'counterexample'.",
  "inputSchema": {
    "type": "object",
    "required": [
      "expression"
    ],
    "properties": {
      "ns": {
        "type": "array",
        "items": {
          "type": "integer",
          "maximum": 12,
          "minimum": 4
        },
        "default": [
          8,
          9,
          10,
          11
        ],
        "maxItems": 5,
        "minItems": 1,
        "description": "Graph sizes searched."
      },
      "seed": {
        "type": "integer",
        "default": 0
      },
      "steps": {
        "type": "integer",
        "default": 800,
        "maximum": 1500,
        "minimum": 50
      },
      "restarts": {
        "type": "integer",
        "default": 4,
        "maximum": 6,
        "minimum": 1
      },
      "expression": {
        "type": "string",
        "maxLength": 500,
        "minLength": 1,
        "description": "Graph predicate in the Whetstone DSL, for example: is_connected and is_triangle_free and not is_bipartite"
      }
    },
    "description": "Run a bounded graph search against one Whetstone predicate expression.",
    "additionalProperties": false
  },
  "annotations": {
    "readOnlyHint": true
  }
}

• Added readOnlyHint: false, destructiveHint: false, idempotentHint: false (inferred from the name). (verify)

{
  "name": "open_bench_start",
  "description": "TIER 2: start a one-shot Open Promotion Bench session. Returns six fresh virtual-repository scope-integrity tasks. Run a baseline and candidate independently on the same cohort, then submit both answer maps with open_bench_submit. This is an open, procedural, self-attested track rather than a private-bank credential.",
  "inputSchema": {
    "type": "object",
    "properties": {
      "challenge": {
        "type": "string",
        "maxLength": 128,
        "minLength": 8,
        "description": "Caller nonce bound into the signed receipt for replay detection."
      }
    },
    "additionalProperties": false
  },
  "annotations": {
    "readOnlyHint": false,
    "destructiveHint": false,
    "idempotentHint": false
  }
}