Is the Elron Public Rentals MCP server down?

• Renamed "applications.complete_document_upload" → "applications_complete_document_upload" (letters, digits, _ and - only; max 64). Keep the old name as an alias for a release if clients already call it. (verify)

{
  "name": "applications_complete_document_upload",
  "description": "Verify the uploaded object, content signature, session ownership, expiry, and exact application version before creating the protected document record.",
  "inputSchema": {
    "type": "object",
    "$schema": "http://json-schema.org/draft-07/schema#",
    "required": [
      "expectedVersion",
      "sessionToken",
      "uploadSessionId",
      "idempotencyKey"
    ],
    "properties": {
      "sessionToken": {
        "type": "string",
        "maxLength": 500,
        "minLength": 1
      },
      "idempotencyKey": {
        "type": "string",
        "maxLength": 200,
        "minLength": 1
      },
      "expectedVersion": {
        "type": "string",
        "format": "date-time",
        "pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d(?::[0-5]\\d(?:\\.\\d+)?)?(?:Z))$"
      },
      "uploadSessionId": {
        "type": "string",
        "format": "uuid",
        "pattern": "^([0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[1-8][0-9a-fA-F]{3}-[89abAB][0-9a-fA-F]{3}-[0-9a-fA-F]{12}|00000000-0000-0000-0000-000000000000|ffffffff-ffff-ffff-ffff-ffffffffffff)$"
      }
    },
    "additionalProperties": false
  },
  "annotations": {
    "readOnlyHint": false,
    "openWorldHint": false,
    "idempotentHint": true,
    "destructiveHint": false
  },
  "title": "Complete a signed application-document upload"
}

• Renamed "applications.create_document_upload" → "applications_create_document_upload" (letters, digits, _ and - only; max 64). Keep the old name as an alias for a release if clients already call it. (verify)

{
  "name": "applications_create_document_upload",
  "description": "Create a 15-minute, exact-size and exact-content-type signed upload form for one email-verified application at its exact current version.",
  "inputSchema": {
    "type": "object",
    "$schema": "http://json-schema.org/draft-07/schema#",
    "required": [
      "expectedVersion",
      "contextKey",
      "fileName",
      "mimeType",
      "sizeBytes",
      "sessionToken",
      "idempotencyKey"
    ],
    "properties": {
      "fileName": {
        "type": "string",
        "maxLength": 200,
        "minLength": 1
      },
      "mimeType": {
        "enum": [
          "application/pdf",
          "image/jpeg",
          "image/png"
        ],
        "type": "string"
      },
      "sizeBytes": {
        "type": "integer",
        "maximum": 10000000,
        "minimum": 1
      },
      "contextKey": {
        "type": "string",
        "maxLength": 200,
        "minLength": 1
      },
      "sessionToken": {
        "type": "string",
        "maxLength": 500,
        "minLength": 1
      },
      "idempotencyKey": {
        "type": "string",
        "maxLength": 200,
        "minLength": 1
      },
      "expectedVersion": {
        "type": "string",
        "format": "date-time",
        "pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d(?::[0-5]\\d(?:\\.\\d+)?)?(?:Z))$"
      }
    },
    "additionalProperties": false
  },
  "annotations": {
    "readOnlyHint": false,
    "openWorldHint": true,
    "idempotentHint": true,
    "destructiveHint": false
  },
  "title": "Create a signed application-document upload"
}

• Renamed "applications.get_status" → "applications_get_status" (letters, digits, _ and - only; max 64). Keep the old name as an alias for a release if clients already call it. (verify)

{
  "name": "applications_get_status",
  "description": "Read the privacy-minimized status and next actions for one scoped application session token.",
  "inputSchema": {
    "type": "object",
    "$schema": "http://json-schema.org/draft-07/schema#",
    "required": [
      "sessionToken"
    ],
    "properties": {
      "sessionToken": {
        "type": "string",
        "maxLength": 500,
        "minLength": 1
      }
    },
    "additionalProperties": false
  },
  "annotations": {
    "readOnlyHint": true,
    "openWorldHint": false,
    "idempotentHint": true,
    "destructiveHint": false
  },
  "title": "Get public application status"
}