Is the Thegavel Gavel MCP server down?

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

{
  "name": "check_wallet_status",
  "description": "Returns a structured readiness report for the given wallet address: native ETH balance for gas, relevant ERC-20 balances (USDC, USDT, WBTC), current allowances against the Gavel LoanProtocol and ListingService, and a precomputed list of blockers (what's stopping the wallet from placing bids or creating auctions).\n\nUseful for: onboarding flows where an LLM agent needs to verify a user's wallet is funded and approved before walking them through a transaction. The 'readiness.blockers' field is the ",
  "inputSchema": {
    "type": "object",
    "$schema": "http://json-schema.org/draft-07/schema#",
    "required": [
      "address"
    ],
    "properties": {
      "address": {
        "type": "string",
        "description": "The EOA or smart-account address to inspect. Any valid Ethereum address. The wallet does not need to be the caller — anyone can check anyone's balance, this is public chain data."
      },
      "network": {
        "enum": [
          "arbitrum-one",
          "arbitrum-sepolia"
        ],
        "type": "string",
        "default": "arbitrum-one",
        "description": "Network to inspect. Default 'arbitrum-one' (mainnet, live protocol)."
      }
    },
    "additionalProperties": false
  },
  "annotations": {
    "readOnlyHint": true
  },
  "title": "Check Wallet Readiness"
}

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

{
  "name": "find_auctions_matching_criteria",
  "description": "Returns Gavel auctions filtered by the criteria you supply. Does not rank, score, or recommend a specific auction — only filters by the parameters provided. The user chooses what to act on.\n\nUseful for: an agent helping a user narrow a long auction list down to the subset matching their stated yield, duration, and LTV preferences.\n\nAll filter parameters are optional. Unspecified parameters mean \"no constraint on that dimension\". When status is omitted, defaults to 'open' (actionable auctions onl",
  "inputSchema": {
    "type": "object",
    "$schema": "http://json-schema.org/draft-07/schema#",
    "properties": {
      "pair": {
        "type": "string",
        "description": "Collateral/loan pair (e.g. 'WBTC/USDC'). Omit for any pair."
      },
      "limit": {
        "type": "integer",
        "default": 20,
        "maximum": 100,
        "minimum": 1,
        "description": "Maximum results to return. Caps at 100."
      },
      "status": {
        "enum": [
          "open",
          "completed",
          "all"
        ],
        "type": "string",
        "default": "open",
        "description": "Auction lifecycle filter. 'open' = actionable (default), 'completed' = settled, 'all' = both."
      },
      "max_ltv": {
        "type": "number",
        "description": "Maximum LTV. Omit for no upper bound."
      },
      "min_ltv": {
        "type": "number",
        "description": "Minimum LTV (loan-to-value), as decimal 0.0-1.0. Omit for no lower bound."
      },
      "max_rate_pct": {
        "type": "number",
        "description": "Maximum implied APR in percent. Omit for no upper bound."
      },
      "min_rate_pct": {
        "type": "number",
        "description": "Minimum implied APR in percent (e.g. 5.5 means at least 5.5%). Omit for no lower bound."
      },
      "max_duration_days": {
        "type": "integer",
        "description": "Maximum loan duration in days. Omit for no upper bound."
      },
      "min_duration_days": {
        "type": "integer",
        "description": "Minimum loan duration in days. Omit for no lower bound."
      },
      "min_remaining_hours": {
        "type": "number",
        "description": "Only return auctions with at least this many hours left before close. Useful for bidders who need time to act. Ignored when status != 'open'."
      }
    },
    "additionalProperties": false
  },
  "annotations": {
    "readOnlyHint": true
  },
  "title": "Find Auctions Matching Criteria"
}

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

{
  "name": "get_address_history",
  "description": "What has this address done on the protocol? Public chain events only, with no enrichment beyond them.\n\nAuctions originated, bids placed, positions open and closed, and a summary of outcomes. No clustering, no labelling and no inferred identity: nothing in the response is not already public on-chain. Any address may be queried by anyone; no authorisation is needed.\n\nThis is the supervisor page's data source — the read a person uses to check what an agent they supervise has actually done.",
  "inputSchema": {
    "type": "object",
    "$schema": "http://json-schema.org/draft-07/schema#",
    "required": [
      "address"
    ],
    "properties": {
      "address": {
        "type": "string",
        "description": "The address to inspect. Any valid Ethereum address; it need not be the caller."
      },
      "network": {
        "enum": [
          "arbitrum-one",
          "arbitrum-sepolia"
        ],
        "type": "string",
        "description": "Network. Default 'arbitrum-one' (mainnet). Use 'arbitrum-sepolia' for the testnet deployment, which carries a far deeper book — but note the two run different contract builds, so a testnet observation is not a mainnet fact."
      }
    },
    "additionalProperties": false
  },
  "annotations": {
    "readOnlyHint": true
  },
  "title": "Address history on the protocol"
}