Is the Alfred768 Mantis MCP server down?

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

{
  "name": "execute_url",
  "description": "Get a deep link URL to place a trade on the best venue for a given market. The URL has a referral code embedded so the platform earns commission. Call this to get the URL, then direct the user to open it.",
  "inputSchema": {
    "type": "object",
    "$schema": "http://json-schema.org/draft-07/schema#",
    "properties": {
      "side": {
        "enum": [
          "yes",
          "no",
          "unknown"
        ],
        "type": "string",
        "default": "unknown",
        "description": "Which side to trade"
      },
      "amount": {
        "type": "number",
        "description": "USD amount to trade (for tracking)",
        "exclusiveMinimum": 0
      },
      "source": {
        "enum": [
          "direct",
          "route",
          "quote",
          "arbitrage",
          "webhook"
        ],
        "type": "string",
        "default": "direct",
        "description": "Tool path that produced this execution intent"
      },
      "market_id": {
        "type": "string",
        "description": "Platform-specific market ID (e.g. \"polymarket-abc123\")"
      },
      "route_query": {
        "type": "string",
        "description": "Original route_market query when source is route"
      },
      "canonical_id": {
        "type": "string",
        "description": "Cross-venue canonical market ID"
      }
    }
  },
  "annotations": {
    "readOnlyHint": false,
    "destructiveHint": false,
    "idempotentHint": false
  }
}

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

{
  "name": "get_arbitrage",
  "description": "Find live cross-venue arbitrage opportunities — markets where the same event trades at different prices on Polymarket vs Kalshi vs other venues. Can also estimate fee-normalized net spread for a position size.",
  "inputSchema": {
    "type": "object",
    "$schema": "http://json-schema.org/draft-07/schema#",
    "properties": {
      "venue_a": {
        "type": "string",
        "description": "Optional venue filter for one side of the arbitrage pair, e.g. polymarket"
      },
      "venue_b": {
        "type": "string",
        "description": "Optional venue filter for the other side of the arbitrage pair, e.g. kalshi"
      },
      "include_fees": {
        "type": "boolean",
        "default": false,
        "description": "Whether to include estimated fee/friction normalization"
      },
      "position_size": {
        "type": "number",
        "default": 0,
        "description": "USD position size used for fee/slippage estimation",
        "exclusiveMinimum": 0
      },
      "min_spread_pct": {
        "type": "number",
        "default": 4,
        "maximum": 50,
        "minimum": 1,
        "description": "Minimum spread in percentage points (default 4 = 4¢)"
      }
    }
  },
  "annotations": {
    "readOnlyHint": true
  }
}

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

{
  "name": "get_history",
  "description": "Get historical OHLCV-style prediction market candles over a time range, including the latest stored depth snapshot within each bucket when available. Can also export CSV text or base64-encoded Parquet.",
  "inputSchema": {
    "type": "object",
    "$schema": "http://json-schema.org/draft-07/schema#",
    "required": [
      "from",
      "to"
    ],
    "properties": {
      "to": {
        "type": "string",
        "description": "Inclusive ISO 8601 end timestamp"
      },
      "from": {
        "type": "string",
        "description": "Inclusive ISO 8601 start timestamp"
      },
      "venue": {
        "type": "string",
        "description": "Venue filter, e.g. polymarket or kalshi"
      },
      "format": {
        "enum": [
          "json",
          "csv",
          "parquet"
        ],
        "type": "string",
        "default": "json",
        "description": "Return JSON candles, CSV text payload, or base64-encoded Parquet payload"
      },
      "market_id": {
        "type": "string",
        "description": "Platform-specific market ID"
      },
      "granularity": {
        "enum": [
          "1m",
          "5m",
          "15m",
          "1h",
          "4h",
          "1d"
        ],
        "type": "string",
        "default": "1d",
        "description": "Bucket size for history candles"
      },
      "canonical_id": {
        "type": "string",
        "description": "Cross-venue canonical market ID"
      }
    }
  },
  "annotations": {
    "readOnlyHint": true
  }
}