Git-Fg

checking-types

"Runs configured type checkers (pyrefly, mypy) on files after editing. MUST USE when validating Python type safety (Internal-only passive hook)."

Git-Fg 1 Updated 4mo ago
GitHub

Install

npx skillscat add git-fg/thecattoolkit/checking-types

Install via the SkillsCat registry.

SKILL.md

Type Checking Standards

Active Hooks

Automatic Type Check

Trigger: PostToolUse (Edit/Write on .py files)
Action: Runs type checker on the modified file.
Priority:

  1. tool.pyrefly in pyproject.toml -> uv run pyrefly
  2. tool.mypy in pyproject.toml -> uv run mypy

Configuration

To enable type checking for a project, assume the presence of pyproject.toml with [tool.pyrefly] or [tool.mypy].

Scripts:

  • plugins/verify/hooks/scripts/type-check-python.py