Is the Projectstate MCP server down?

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

{
  "name": "plan_check",
  "description": "Before you start something non-trivial, say what you are about to do and get back only what would\n        change your mind: attempts that already failed at this, decisions that are still in force and constrain\n        it, and open tasks that overlap. `intent` is one line in plain words, e.g. 'switch the cache to Redis'\n        or 'rewrite the auth middleware to use refresh tokens'. Pass `files` if you know which paths you will\n        touch; entries about those files are included even when the w",
  "inputSchema": {
    "type": "object",
    "title": "plan_checkArguments",
    "required": [
      "project",
      "intent"
    ],
    "properties": {
      "files": {
        "anyOf": [
          {
            "type": "array",
            "items": {
              "type": "string"
            }
          },
          {
            "type": "null"
          }
        ],
        "title": "Files",
        "default": null
      },
      "limit": {
        "type": "integer",
        "title": "Limit",
        "default": 3
      },
      "intent": {
        "type": "string",
        "title": "Intent"
      },
      "project": {
        "type": "string",
        "title": "Project"
      },
      "max_chars": {
        "type": "integer",
        "title": "Max Chars",
        "default": 1200
      }
    }
  },
  "annotations": {
    "readOnlyHint": true
  },
  "title": "Plan check"
}

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

{
  "name": "project_status",
  "description": "Get the project's one-line status, open tasks and last change. Pass `set_status` to overwrite the status\n        line (e.g. 'v0.3 shipped; next: migrate auth to OAuth'). Cheap; use it for handoff notes between sessions.",
  "inputSchema": {
    "type": "object",
    "title": "project_statusArguments",
    "required": [
      "project"
    ],
    "properties": {
      "project": {
        "type": "string",
        "title": "Project"
      },
      "set_status": {
        "anyOf": [
          {
            "type": "string"
          },
          {
            "type": "null"
          }
        ],
        "title": "Set Status",
        "default": null
      }
    }
  },
  "annotations": {
    "readOnlyHint": true
  },
  "title": "Project status"
}

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

{
  "name": "update",
  "description": "Change an existing entry by id: set `status` (task open|done|dropped, attempt worked|failed|partial,\n        decision active|superseded|reverted, note active|archived), replace `title`/`body`, `append` a line to the\n        body (e.g. an outcome), replace `tags`/`files`, or `delete` it.",
  "inputSchema": {
    "type": "object",
    "title": "updateArguments",
    "required": [
      "project",
      "id"
    ],
    "properties": {
      "id": {
        "type": "integer",
        "title": "Id"
      },
      "body": {
        "anyOf": [
          {
            "type": "string"
          },
          {
            "type": "null"
          }
        ],
        "title": "Body",
        "default": null
      },
      "tags": {
        "anyOf": [
          {
            "type": "array",
            "items": {
              "type": "string"
            }
          },
          {
            "type": "null"
          }
        ],
        "title": "Tags",
        "default": null
      },
      "files": {
        "anyOf": [
          {
            "type": "array",
            "items": {
              "type": "string"
            }
          },
          {
            "type": "null"
          }
        ],
        "title": "Files",
        "default": null
      },
      "title": {
        "anyOf": [
          {
            "type": "string"
          },
          {
            "type": "null"
          }
        ],
        "title": "Title",
        "default": null
      },
      "append": {
        "anyOf": [
          {
            "type": "string"
          },
          {
            "type": "null"
          }
        ],
        "title": "Append",
        "default": null
      },
      "delete": {
        "type": "boolean",
        "title": "Delete",
        "default": false
      },
      "status": {
        "anyOf": [
          {
            "type": "string"
          },
          {
            "type": "null"
          }
        ],
        "title": "Status",
        "default": null
      },
      "project": {
        "type": "string",
        "title": "Project"
      }
    }
  },
  "annotations": {
    "readOnlyHint": false,
    "destructiveHint": false,
    "idempotentHint": true
  },
  "title": "Update entry"
}