Server definition

Hash: sha256:573293254ec1fdba6027e8c98d046da4a5dfd5c9cc63f5b72baed44fa732e6a5
What it is: What a remote MCP server returned when asked what it offers: 11 tools

The blob, as servednamed by its sha256

{
  "instructions": null,
  "tools": [
    {
      "description": "Add or subtract N Japanese business days from a date (settlement T+N, delivery ETA). Price: $0.01 USDC via x402.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "additionalProperties": false,
        "properties": {
          "calendar": {
            "description": "national (default): weekends + national holidays. bank: also Dec 31 - Jan 3 bank holidays",
            "enum": [
              "national",
              "bank"
            ],
            "type": "string"
          },
          "date": {
            "description": "Date in YYYY-MM-DD. Supported range 1955-01-01..2027-12-31",
            "type": "string"
          },
          "days": {
            "maximum": 366,
            "minimum": -366,
            "type": "integer"
          }
        },
        "required": [
          "date",
          "days"
        ],
        "type": "object"
      },
      "name": "add_business_days",
      "outputSchema": null
    },
    {
      "description": "When will a Japanese bank transfer be credited? Returns the value date under standard processing (same day before the cutoff, default 15:00 JST, on a bank business day; otherwise next bank business day). Price: $0.01 USDC via x402.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "additionalProperties": false,
        "properties": {
          "cutoff": {
            "description": "Bank cutoff HH:MM JST, default 15:00",
            "type": "string"
          },
          "datetime": {
            "description": "Submission time ISO 8601 (default now; no offset = JST)",
            "type": "string"
          },
          "extraDays": {
            "description": "Additional bank business days",
            "maximum": 30,
            "minimum": 0,
            "type": "integer"
          }
        },
        "type": "object"
      },
      "name": "bank_value_date",
      "outputSchema": null
    },
    {
      "description": "Find auspicious Japanese dates: days in a range matching rokuyo (e.g. taian) and optional weekdays (e.g. sat,sun) for weddings, moving, contracts. Price: $0.01 USDC via x402.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "additionalProperties": false,
        "properties": {
          "from": {
            "description": "Start date YYYY-MM-DD",
            "type": "string"
          },
          "rokuyo": {
            "description": "Comma-separated: taian,shakko,sensho,tomobiki,sakimake,butsumetsu (default taian)",
            "type": "string"
          },
          "to": {
            "description": "End date YYYY-MM-DD (max 366 days)",
            "type": "string"
          },
          "weekdays": {
            "description": "Comma-separated weekdays, e.g. sat,sun",
            "type": "string"
          }
        },
        "required": [
          "from",
          "to"
        ],
        "type": "object"
      },
      "name": "find_lucky_days_japan",
      "outputSchema": null
    },
    {
      "description": "Check whether a date is a business day in Japan (official Cabinet Office holiday data). Returns holiday name (JA/EN) and next/previous business day. Price: $0.005 USDC via x402.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "additionalProperties": false,
        "properties": {
          "calendar": {
            "description": "national (default): weekends + national holidays. bank: also Dec 31 - Jan 3 bank holidays",
            "enum": [
              "national",
              "bank"
            ],
            "type": "string"
          },
          "date": {
            "description": "Date in YYYY-MM-DD. Supported range 1955-01-01..2027-12-31",
            "type": "string"
          }
        },
        "required": [
          "date"
        ],
        "type": "object"
      },
      "name": "is_business_day",
      "outputSchema": null
    },
    {
      "description": "FREE: check whether a date between today and 90 days ahead (JST) is a business day in Japan. Official Cabinet Office holiday data, supports bank calendar (Dec 31 - Jan 3). For other dates, business-day arithmetic or holiday lists use the paid tools.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "additionalProperties": false,
        "properties": {
          "calendar": {
            "description": "national (default): weekends + national holidays. bank: also Dec 31 - Jan 3 bank holidays",
            "enum": [
              "national",
              "bank"
            ],
            "type": "string"
          },
          "date": {
            "description": "Date in YYYY-MM-DD. Supported range 1955-01-01..2027-12-31",
            "type": "string"
          }
        },
        "required": [
          "date"
        ],
        "type": "object"
      },
      "name": "is_business_day_free",
      "outputSchema": null
    },
    {
      "description": "Japanese traditional calendar for a date: rokuyo (taian/butsumetsu lucky days), Reiwa era date, lunisolar date, 24 solar terms. Price: $0.005 USDC via x402.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "additionalProperties": false,
        "properties": {
          "date": {
            "description": "YYYY-MM-DD (1955-2032)",
            "type": "string"
          }
        },
        "required": [
          "date"
        ],
        "type": "object"
      },
      "name": "japanese_koyomi",
      "outputSchema": null
    },
    {
      "description": "Japanese stocks: last cum-rights trading day and ex-rights date for a dividend/benefit record date (T+2 settlement, holiday-aware). Price: $0.01 USDC via x402.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "additionalProperties": false,
        "properties": {
          "recordDate": {
            "description": "Record date (kenri kakutei-bi) YYYY-MM-DD",
            "type": "string"
          }
        },
        "required": [
          "recordDate"
        ],
        "type": "object"
      },
      "name": "jpx_record_date",
      "outputSchema": null
    },
    {
      "description": "Nikkei 225 futures/options SQ day and last trading day for a contract month (2nd Friday, moved earlier on holidays). Price: $0.01 USDC via x402.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "additionalProperties": false,
        "properties": {
          "month": {
            "description": "Contract month YYYY-MM",
            "type": "string"
          }
        },
        "required": [
          "month"
        ],
        "type": "object"
      },
      "name": "jpx_sq_date",
      "outputSchema": null
    },
    {
      "description": "Is the Tokyo Stock Exchange (JPX) open on a date? Next/previous trading day, first/last trading day of the year. Price: $0.005 USDC via x402.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "additionalProperties": false,
        "properties": {
          "date": {
            "description": "Date in YYYY-MM-DD. Supported range 1955-01-01..2027-12-31",
            "type": "string"
          }
        },
        "required": [
          "date"
        ],
        "type": "object"
      },
      "name": "jpx_trading_day",
      "outputSchema": null
    },
    {
      "description": "List Japanese national holidays for a year with JA/EN names. Price: $0.01 USDC via x402.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "additionalProperties": false,
        "properties": {
          "calendar": {
            "description": "national (default): weekends + national holidays. bank: also Dec 31 - Jan 3 bank holidays",
            "enum": [
              "national",
              "bank"
            ],
            "type": "string"
          },
          "year": {
            "type": "integer"
          }
        },
        "required": [
          "year"
        ],
        "type": "object"
      },
      "name": "list_holidays",
      "outputSchema": null
    },
    {
      "description": "Japanese payment terms (shimebi/shiharaibi) calculator, e.g. month-end close paid end of next month; shifts to the previous/next business day on weekends/holidays. Price: $0.01 USDC via x402.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "additionalProperties": false,
        "properties": {
          "adjust": {
            "description": "Shift when not a business day; default previous",
            "enum": [
              "previous",
              "next",
              "none"
            ],
            "type": "string"
          },
          "calendar": {
            "description": "national (default): weekends + national holidays. bank: also Dec 31 - Jan 3 bank holidays",
            "enum": [
              "national",
              "bank"
            ],
            "type": "string"
          },
          "closing": {
            "anyOf": [
              {
                "maximum": 31,
                "minimum": 1,
                "type": "integer"
              },
              {
                "const": "end",
                "type": "string"
              }
            ],
            "description": "Closing day of month (1-31) or 'end'"
          },
          "date": {
            "description": "Transaction or invoice date (YYYY-MM-DD)",
            "type": "string"
          },
          "monthOffset": {
            "description": "Months after closing; default 1 (next month)",
            "maximum": 3,
            "minimum": 0,
            "type": "integer"
          },
          "payDay": {
            "anyOf": [
              {
                "$ref": "#/properties/closing/anyOf/0"
              },
              {
                "$ref": "#/properties/closing/anyOf/1"
              }
            ],
            "description": "Payment day of month (1-31) or 'end'"
          }
        },
        "required": [
          "date",
          "closing",
          "payDay"
        ],
        "type": "object"
      },
      "name": "payment_due_date",
      "outputSchema": null
    }
  ]
}

Verify it yourself

curl -s https://api.teppi.xyz/v1/evidence/sha256:573293254ec1fdba6027e8c98d046da4a5dfd5c9cc63f5b72baed44fa732e6a5 | sha256sum