types

Run /types with the file path, such as /types path/to/file.py, to annotate a single file, or pass a module directory to process all files. The skill parses the AST, infers types, adds annotations and imports, then validates with mypy.

Use the --check flag, which reports current type coverage without modifying any files. This is useful for auditing a codebase before committing to a full annotation pass.

Yes, it prefers modern syntax such as list[str] over List[str] and str | None over Optional[str]. The union pipe syntax requires Python 3.10 or later.

Parameters or values with insufficient context, such as runtime-dependent results, are listed in an 'Unable to Infer' section of the report. In strict mode Any is avoided, so ambiguous cases are flagged rather than guessed.

After annotations are added, the skill runs mypy to validate that the inferred types are correct. The output report summarizes functions, classes, and variables typed along with the resulting coverage percentage.