ty-skills
Learn to use ty, Astral's high-performance Rust-based type checker for Python. This skill covers adding type annotations, resolving type errors, configuring rules, and migrating from mypy or pyright. Explore advanced patterns like intersection types and protocols, plus editor integration for VS Code, Cursor, Neovim, and PyCharm.
ty-skills teaches you to add type annotations and resolve type errors with ty, Astral's fast Rust-based type checker.
AI-generated summary based on this skill's SKILL.md
Decision gist · record as of 2026-01-25
ty-skills teaches you to add type annotations and resolve type errors with ty, Astral's fast Rust-based type checker. Learn to use ty, Astral's high-performance Rust-based type checker for Python. This skill covers adding type annotations, resolving type errors, configuring rules, and migrating from mypy or pyright. Explore advanced patterns like intersection types and protocols, plus editor integration for VS Code, Cursor, Neovim, and PyCharm.
Use it when
- ty-skills provides guidance for migrating from mypy or pyright to ty.
- ty-skills covers configuring ty rules and severity levels through your pyproject.toml file.
Verify before relying
Read SKILL.md below before installing (9 files). Open directory: indexed for reading, not audited.
Install
jiatastic/open-python-skills/ty-skills · repository language: Python
Open directory. Skills are indexed for reading, not audited. Review a skill's body before installing it.
Frequently asked questions
AI-generated answers based on this skill's SKILL.md and metadata
How to use ty type checker python?
ty-skills teaches you to use ty, Astral's high-performance Rust-based type checker for Python. Start by adding type annotations to your code, then run ty's check command to identify type errors. ty-skills covers the full workflow: understanding error messages, fixing violations, and integrating ty into your development environment for continuous type checking.
What's the process to migrate from mypy to ty?
ty-skills provides guidance for migrating from mypy or pyright to ty. The skill explains how to adapt your existing type annotations, configure ty's rules to match your project's needs, and handle any differences in error reporting. ty-skills helps you transition smoothly while maintaining your type safety standards.
How do I configure ty rules and severity levels?
ty-skills covers configuring ty rules and severity levels through your pyproject.toml file. Learn which rules to enable or disable, how to set strictness levels, and how to customize diagnostics for your team's standards. ty-skills explains both basic and advanced configuration options for fine-tuning type checking behavior.
What advanced type patterns does ty-skills cover?
ty-skills teaches advanced patterns including intersection types, protocol generics, and complex type relationships. These patterns help you express sophisticated type constraints that improve code safety. ty-skills shows practical examples of when and how to apply these patterns in real Python projects.
How do I set up ty in VS Code and other editors?
ty-skills covers editor integration for VS Code, Cursor, Neovim, and PyCharm. Learn how to configure ty's language server, enable real-time diagnostics, and customize your editor's type checking experience. ty-skills provides step-by-step setup instructions for each supported editor.
How does ty compare to mypy in performance?
ty-skills explains that ty is Astral's fast, Rust-based type checker designed for superior performance compared to mypy and pyright. The skill covers ty's speed advantages, when to choose ty over alternatives, and how its performance benefits your development workflow on large codebases.
SKILL.md
Rendered from the published skill. Quoted content, verbatim.
ty-skills
Master Python type checking with ty - the extremely fast type checker written in Rust by Astral (creators of uv and Ruff).
When to Use This Skill
- Adding type annotations to Python code
- Fixing type errors and diagnostics from ty
- Configuring ty rules and severity levels
- Migrating from mypy or pyright to ty
- Understanding advanced type patterns (intersection types, protocols, generics)
- Setting up ty language server in your editor
Quick Start
# Install
uv tool install ty
# or: pip install ty
# Check current directory
ty check
# Check specific files
ty check src/
# Full diagnostics
ty check --output-format full
Configuration
Configure via
(truncated - see the full file via the links below)
File tree — 9 files
skills/ty-skills/SKILL.md
skills/ty-skills/references/advanced_patterns.md
skills/ty-skills/references/common_errors.md
skills/ty-skills/references/editor_setup/cursor.md
skills/ty-skills/references/editor_setup/neovim.md
skills/ty-skills/references/editor_setup/vscode.md
skills/ty-skills/references/migration_guide.md
skills/ty-skills/references/ty_rules_reference.md
skills/ty-skills/references/typing_cheatsheet.md
Let your AI agent find skills like this
Example. Real query, live index.
You found this page by searching. An agent finds it by wishing: SkillFed indexes 56,283 agent skills by what they can do, searchable in plain language.
wish › “Add type annotations and fix type errors using ty”
Give your agent the search over MCP, or paste the wish link into any chat. No install? Search from any chat →
Related skills
Quality Run Type Checking combines pyright for rapid development feedback with mypy for comprehensive pre-commit validation. Both tools catch complementary error classes—pyright excels at speed and IDE integration, while mypy provides deeper Pydantic model support and CI/CD authority. Use pyright during coding iterations and mypy before commits.
Master production-grade backend development with FastAPI, async patterns, and type-safe code. This skill covers REST API design, authentication, database operations with SQLAlchemy, and Redis caching via Upstash—all built on async-first principles and security best practices.
This skill diagnoses and resolves Python type checking errors by categorizing them into patterns—missing annotations, type mismatches, Optional handling, generics, and attribute issues—then applies targeted fixes. It works with pyright and mypy output, includes automation scripts for batch corrections, and guides you through verification to maintain strict type safety.
Typst Paper is a specialized assistant for manuscripts already written in Typst, offering modular diagnostics for compilation, formatting, bibliography validation, grammar and logic review, literature synthesis, pseudocode auditing, and bilingual polishing. Route requests to focused tools for compile errors, venue compliance, BibTeX/Hayagriva checks, sentence clarity, research-gap framing, de-AI editing, and submission readiness—keeping all work compatible with Typst source.
This skill systematically audits Python code across five key dimensions: PEP8 compliance, type annotation completeness, async/await correctness, exception handling rigor, and frequent pitfalls like mutable defaults. It provides a checklist-driven review workflow with reference guides for each category and context-sensitive rules to avoid false positives.
mypy brings static type checking to Python through gradual adoption of type hints, letting you add type safety incrementally without rewriting existing code. It supports strict mode for maximum safety, works seamlessly with FastAPI and Django, and uses type inference to minimize annotation overhead.