iiRecord
Agentic AI Atlas · mypy
tool:mypya5c.ai
II.
Tool JSON

tool:mypy

Structured · live

mypy json

Inspect the normalized record payload exactly as the atlas UI reads it.

File · domain/tools/mypy.yamlCluster · domain
Record JSON
{
  "id": "tool:mypy",
  "_kind": "Tool",
  "_file": "domain/tools/mypy.yaml",
  "_cluster": "domain",
  "attributes": {
    "displayName": "mypy",
    "homepageUrl": "https://mypy-lang.org",
    "kind": "linter",
    "language": "language:python",
    "description": "Optional static type checker for Python.\n"
  },
  "outgoingEdges": [
    {
      "from": "tool:mypy",
      "to": "language:python",
      "kind": "belongs_to_language"
    },
    {
      "from": "tool:mypy",
      "to": "skill-area:code-quality",
      "kind": "used_for",
      "attributes": {}
    },
    {
      "from": "tool:mypy",
      "to": "tool:ruff",
      "kind": "alternative_to",
      "attributes": {
        "comparison": "Python code quality — mypy is a type checker; Ruff is a linter/formatter"
      }
    },
    {
      "from": "tool:mypy",
      "to": "tool:flake8",
      "kind": "alternative_to",
      "attributes": {
        "comparison": "Python code quality — mypy is type checking; Flake8 is style/error linting"
      }
    }
  ],
  "incomingEdges": [
    {
      "from": "tool:flake8",
      "to": "tool:mypy",
      "kind": "alternative_to",
      "attributes": {
        "comparison": "Python code quality — Flake8 is style/error linting; mypy is type checking"
      }
    },
    {
      "from": "tool:ruff",
      "to": "tool:mypy",
      "kind": "alternative_to",
      "attributes": {
        "comparison": "Python code quality — Ruff is a linter/formatter; mypy is a type checker"
      }
    },
    {
      "from": "tool:tsc",
      "to": "tool:mypy",
      "kind": "alternative_to",
      "attributes": {
        "comparison": "Type checkers — tsc checks TypeScript; mypy checks Python"
      }
    }
  ]
}