Is the Kishida Devil Jp Payroll MCP server down?

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

{
  "name": "calculate_annual_cost",
  "description": "What one employee costs an employer over a year, bonuses included.\n\nReach for this rather than multiplying a payslip by twelve, because the two do not agree once a bonus is paid. 健康保険法第45条 caps the standard bonus cumulatively across the year — 5,730,000 from 1 April to 31 March — so the same bonus costs a different amount depending on where it falls, and once the year is used up later bonuses carry no health premium. 厚生年金保険法第24条の4 caps at 1,500,000 per payment with no yearly total, so pension ke",
  "inputSchema": {
    "type": "object",
    "$schema": "http://json-schema.org/draft-07/schema#",
    "required": [
      "prefecture",
      "monthly_salary"
    ],
    "properties": {
      "age": {
        "type": "number",
        "description": "Either this or birth_date is required."
      },
      "bonuses": {
        "type": "array",
        "items": {
          "type": "number"
        },
        "description": "Each bonus in yen, in the order paid. The health cap fills from the first."
      },
      "birth_date": {
        "type": "string",
        "description": "Date of birth, YYYY-MM-DD. Strongly preferred over `age`: 年齢計算ニ関スル法律 puts the attainment of an age on the day *before* the birthday, so someone born on the 1st of a month crosses a threshold in the previous month and their premium changes a month earlier than a naive calculation gives."
      },
      "dependants": {
        "type": "number"
      },
      "prefecture": {
        "type": "string",
        "description": "Prefecture of the employer's 適用事業所 — English (\"Tokyo\"), Japanese (\"東京\" or \"東京都\"), or JIS code 1-47. Health insurance rates differ by prefecture; pension does not."
      },
      "fiscal_year": {
        "type": "number",
        "description": "Year the 1 April to 31 March window starts. Defaults from the current date."
      },
      "resident_tax": {
        "type": "number",
        "description": "Monthly resident tax, multiplied by twelve as given. It is never derived here."
      },
      "business_type": {
        "enum": [
          "general",
          "agriculture_forestry_fishery_sake",
          "construction"
        ],
        "type": "string"
      },
      "monthly_salary": {
        "type": "number",
        "description": "Gross monthly pay in yen."
      },
      "workers_comp_type": {
        "type": "string",
        "description": "事業の種類の番号. Charged on bonuses as well, being levied on total wages."
      },
      "standard_remuneration": {
        "type": "number",
        "description": "The 標準報酬月額 fixed by 算定基礎届, if known. Without it the grade is derived from the pay given."
      }
    }
  },
  "annotations": {
    "readOnlyHint": true
  },
  "title": "年間の労務コスト — 賞与の上限を年度で通した額"
}

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

{
  "name": "calculate_bonus",
  "description": "Premiums and income tax on a 賞与. Both work differently from monthly pay and are routinely got wrong.\n\nPremiums are charged on 標準賞与額 (the bonus truncated to the thousand yen) under two caps that behave differently: health, long-term care and child support cap at 5,730,000 yen CUMULATIVELY across the fiscal year from 1 April, while pension caps at 1,500,000 yen PER PAYMENT. The annual cap cannot be applied without fiscal_year_to_date, so pass it whenever an earlier bonus was paid in the same fisca",
  "inputSchema": {
    "type": "object",
    "$schema": "http://json-schema.org/draft-07/schema#",
    "required": [
      "prefecture",
      "bonus"
    ],
    "properties": {
      "age": {
        "type": "number",
        "description": "Age in years. Either this or birth_date is required. Prefer birth_date."
      },
      "as_of": {
        "type": "string",
        "description": "YYYY-MM-DD. Which rate table to use. Rates change every March, so a bonus paid in a previous year needs the table that was in force then; the call is refused rather than answered with today's rates."
      },
      "bonus": {
        "type": "number",
        "description": "Gross bonus in yen."
      },
      "column": {
        "enum": [
          "kou",
          "otsu"
        ],
        "type": "string",
        "description": "Withholding column for the tax half: 甲 when a 扶養控除等申告書 was filed (the normal case), 乙 when it was not. 乙 has its own rate table. Defaults to 甲."
      },
      "birth_date": {
        "type": "string",
        "description": "Date of birth, YYYY-MM-DD. Strongly preferred over `age`: 年齢計算ニ関スル法律 puts the attainment of an age on the day *before* the birthday, so someone born on the 1st of a month crosses a threshold in the previous month and their premium changes a month earlier than a naive calculation gives."
      },
      "dependants": {
        "type": "number"
      },
      "prefecture": {
        "type": "string",
        "description": "Prefecture of the employer's 適用事業所 — English (\"Tokyo\"), Japanese (\"東京\" or \"東京都\"), or JIS code 1-47. Health insurance rates differ by prefecture; pension does not."
      },
      "include_tax": {
        "type": "boolean",
        "description": "Also compute withholding tax. Requires previous_month_pay."
      },
      "previous_month_pay": {
        "type": "number",
        "description": "Gross pay in the month before the bonus. The tax rate is derived from this."
      },
      "fiscal_year_to_date": {
        "type": "number",
        "description": "標準賞与額 already paid since 1 April this fiscal year. Needed for the annual health cap."
      },
      "previous_month_insurance": {
        "type": "number",
        "description": "Social insurance deducted from that previous month's pay."
      }
    }
  },
  "annotations": {
    "readOnlyHint": true
  },
  "title": "賞与の社会保険料と源泉所得税"
}

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

{
  "name": "calculate_overtime_pay",
  "description": "Works out statutory premium pay under 労働基準法第37条 — overtime, night work and work on a statutory holiday.\n\nThe rates do not simply add up, and getting this wrong under-pays wages. A night premium stacks on top: overtime at night is 1.25 + 0.25 = 1.5, holiday work at night is 1.35 + 0.25 = 1.6. But a statutory holiday carries no overtime premium at all — a day with no duty to work has nothing to exceed — so holiday hours are 1.35, never 1.6 by adding overtime. Overtime beyond sixty hours in a month",
  "inputSchema": {
    "type": "object",
    "$schema": "http://json-schema.org/draft-07/schema#",
    "required": [
      "base_monthly_pay",
      "monthly_scheduled_hours"
    ],
    "properties": {
      "night_hours": {
        "type": "number",
        "description": "How many of those hours fell between 22:00 and 05:00."
      },
      "holiday_hours": {
        "type": "number",
        "description": "Hours worked on a statutory holiday."
      },
      "overtime_hours": {
        "type": "number",
        "description": "Statutory overtime hours, excluding work on a statutory holiday."
      },
      "base_monthly_pay": {
        "type": "number",
        "description": "Monthly pay forming the premium base, after removing any of the seven excludable allowances."
      },
      "holiday_night_hours": {
        "type": "number",
        "description": "How many of those fell between 22:00 and 05:00."
      },
      "monthly_scheduled_hours": {
        "type": "number",
        "description": "月平均所定労働時間 — annual scheduled working days times daily hours, divided by twelve."
      }
    }
  },
  "annotations": {
    "readOnlyHint": true
  },
  "title": "割増賃金(時間外・深夜・休日)の計算"
}