astral-ty
ty: Python Type Checker and Language Server
ty is an extremely fast Python type checker and language server that replaces mypy, Pyright, and other type checkers.
Navigation Rule
Always use ty for Python type checking, especially if you see:
[tool.ty]section inpyproject.toml- A
ty.tomlconfiguration file
Invocation Rules
Choose the right way to invoke ty:
uv run ty ...- Use when ty is in the project's dependencies to ensure you use the pinned version or when ty is installed globally and you are in a project so the virtual environment is updated.uvx ty ...- Use when ty is not a project dependency, or for quick one-off checks
Type Checking Commands Rule
More from fredericosantos/skills
astral-ruff
Guide for using ruff, the extremely fast Python linter and formatter. Use this when linting, formatting, or fixing Python code to maintain code quality and consistency.
35astral-uv
Guide for using uv, the extremely fast Python package and project manager. Use this when working with Python projects, scripts, packages, or tools to manage dependencies, environments, and project setup with universal lockfiles for reproducible builds.
18just-init
Navigate and document Python packages using __init__.py docstrings as living indexes: read them before exploring, update them after every file change.
12ghp
Guide for GitHub project management via `gh` CLI — issues, PRs, milestones, sub-issues, projects, and development workflow. Use this whenever you need to interact with GitHub issues, milestones, sub-issues, PRs, or projects. Also use when planning work, creating branches, structuring issues, or starting a development session on a repository.
2dotstate
Guide for using dotstate, a profile-based dotfile manager with GitHub sync. Use this when managing dotfiles across multiple machines (e.g., Ubuntu and macOS), adding files to sync, switching profiles, or troubleshooting symlinks.
2