{
  "schema_version": "REFERENCE-1.0",
  "as_of": "2026-10-23",
  "item": {
    "id": "TOOL-0177",
    "kind": "TOOL",
    "title": "mypy",
    "last_verified": "2026-10-23",
    "currentness": "VERIFIED_AS_OF",
    "revision": 1,
    "summary": "型検査・型注釈・診断に使うPython型検査ツールです。",
    "tool_type": "Python型検査ツール",
    "access_modes": [
      "CLI"
    ],
    "getting_started": "公式の配布・利用案内からmypyを用意し、対象環境と利用条件を確認します。",
    "capabilities": [
      "型検査",
      "型注釈",
      "診断"
    ],
    "requirements": [
      "対象projectと対応する実行環境",
      "設定・検査範囲・依存関係を確認する"
    ],
    "suitable_for": "mypyでPythonの型の不整合を確認するなど、型検査を選択して使いたい場面。",
    "unsuitable_for": "型検査の成功をruntimeの全入力の保証とする用途。",
    "coverage": [
      "testing/verification",
      "CLI/shell"
    ],
    "canonical_url": "https://enterprise-ai-dictionary.com/reference/tools/tool-0177",
    "retrieval": "FULL",
    "publication": "PUBLIC_NO_ADS",
    "index": "INDEX",
    "ads": "OFF",
    "link_policy": "DIRECT"
  },
  "relations": [
    {
      "id": "REFREL-5f7add13438b16be",
      "subject_id": "SRC-EVID-REF-0178",
      "predicate": "documents",
      "object_id": "TOOL-0177",
      "scope_note": "公開一次資料に基づく利用経路。",
      "last_verified": "2026-10-23",
      "source_ids": [
        "SRC-EVID-REF-0178"
      ]
    },
    {
      "id": "REFREL-0d22d55c49940cc3",
      "subject_id": "TOOL-0177",
      "predicate": "supports",
      "object_id": "METHOD-0178",
      "scope_note": "公開一次資料に基づく利用経路。",
      "last_verified": "2026-10-23",
      "source_ids": [
        "SRC-EVID-REF-0178"
      ]
    },
    {
      "id": "REFREL-27a9084fd5236de3",
      "subject_id": "METHOD-0178",
      "predicate": "uses",
      "object_id": "TOOL-0177",
      "scope_note": "公開一次資料に基づく利用経路。",
      "last_verified": "2026-10-23",
      "source_ids": [
        "SRC-EVID-REF-0178"
      ]
    },
    {
      "id": "REFREL-bba3d23095a47059",
      "subject_id": "IDX-C01-011",
      "predicate": "explains",
      "object_id": "TOOL-0177",
      "scope_note": "既存TERMの運用上の説明を読む経路。製品の定義を主張しない。",
      "last_verified": "2026-10-23",
      "source_ids": [
        "SRC-EVID-REF-0178"
      ]
    },
    {
      "id": "REFREL-ef40c3416bfacd58",
      "subject_id": "TOOL-0177",
      "predicate": "supports",
      "object_id": "METHOD-0334",
      "scope_note": "公開一次資料に基づく利用経路。",
      "last_verified": "2026-10-23",
      "source_ids": [
        "SRC-EVID-REF-0321"
      ]
    },
    {
      "id": "REFREL-475fa8538193dd04",
      "subject_id": "SRC-EVID-REF-0321",
      "predicate": "documents",
      "object_id": "TOOL-0177",
      "scope_note": "公開一次資料に基づく利用経路。",
      "last_verified": "2026-10-23",
      "source_ids": [
        "SRC-EVID-REF-0321"
      ]
    },
    {
      "id": "REFREL-f13d19c8ad96c130",
      "subject_id": "METHOD-0334",
      "predicate": "uses",
      "object_id": "TOOL-0177",
      "scope_note": "公開一次資料に基づく利用経路。",
      "last_verified": "2026-10-23",
      "source_ids": [
        "SRC-EVID-REF-0321"
      ]
    },
    {
      "id": "REFREL-e694758fb3524825",
      "subject_id": "IDX-C03-004",
      "predicate": "explains",
      "object_id": "TOOL-0177",
      "scope_note": "既存TERMの運用上の説明を読む経路。製品の基礎定義を主張しない。",
      "last_verified": "2026-10-23",
      "source_ids": [
        "SRC-EVID-REF-0321"
      ]
    }
  ]
}