ty

Enforce Python type hints with a fast CLI and language server.

1|Updated Apr 11, 2026
One-click install
npx skills add https://github.com/aaaxn/skills --skill ty-aaaxn
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: ty
Source: https://github.com/aaaxn/skills/tree/main/ty
Command: npx skills add https://github.com/aaaxn/skills --skill ty-aaaxn

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

ty accelerates Python type checking and provides a language server to improve editor diagnostics and project reliability. It helps enforce type correctness across Python projects and replaces slower tools like mypy or Pyright in compatible setups.

Core Features & Use Cases

  • Lightning-fast type checking for Python across large codebases.
  • Language server support to provide real-time diagnostics in editors.
  • Configurable rules and per-project settings via pyproject.toml or ty.toml, including per-file overrides.

Quick Start

Install ty in your project and run ty check to start validating Python types.

Frequently Asked Questions about ty

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I configure Python type checking using pyproject.toml?

Python type checking can be configured using pyproject.toml or ty.toml to define rules, per-file overrides, and project settings for fast validation across your codebase.

Can I use a language server for real-time Python type diagnostics?

Yes, a language server provides real-time Python type diagnostics directly in your editor, helping you catch type errors as you write code.

What is the best way to speed up static-analysis for a large Python codebase?

Lightning-fast static-analysis for large Python codebases is achieved by using a fast type-checker CLI that quickly validates type hints across all project files.

How do I apply per-file overrides for Python type-checking rules?

Per-file overrides for Python type-checking rules are applied by defining specific configuration settings within your pyproject.toml or ty.toml file.

Does ty work as a replacement for slower Python type checkers?

ty replaces slower Python type checkers by offering a fast type-checking CLI and language server, enforcing type correctness and improving editor diagnostics.