Agent-Skills.md

Agent Skills: Type Checking Standards

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

UncategorizedID: Git-Fg/thecattoolkit/checking-types

Repository

Git-Fg/thecattoolkit
Git-FgLicense: MIT
1

Install this agent skill to your local

pnpm dlx add-skill https://github.com/Git-Fg/thecattoolkit/tree/HEAD/plugins/sys-core/skills/checking-types

Skill Files

Browse the full folder contents for checking-types.

Download Skill

Loading file tree…

plugins/sys-core/skills/checking-types/SKILL.md

Skill Metadata

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

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