ty-pro

Enforce Python type safety with Ty across codebases.

Updated Nov 8, 2025
One-click install
npx skills add https://github.com/YunosukeYoshino/ImageScraper --skill ty-pro
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: ty-pro
Source: https://github.com/YunosukeYoshino/ImageScraper/tree/main/.claude/skills/ty-pro
Command: npx skills add https://github.com/YunosukeYoshino/ImageScraper --skill ty-pro

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

What problem does it solve?

ty-pro provides Python type safety by enforcing type annotations and guiding safe usage patterns, reducing runtime type errors and enforcing boundary validation across modules.

Core Features & Use Cases

  • Type annotation enhancement
  • Error classification and fixes guidance
  • Boundary validation for API data and inputs

Quick Start

Use ty-pro to run type checks on your Python src/ package and progressively tighten types to prevent runtime type errors.

Frequently Asked Questions about ty-pro

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

FAQPage Schema
How do I enforce Python type safety across a large codebase?

Enforce Python type safety across a large codebase by applying Ty static type checking to catch type errors early. This guides safe usage patterns, reduces runtime errors, and enforces boundary validation across modules.

What is the best way to catch type errors in Python scripts before runtime?

Catch type errors in Python scripts before runtime by applying Ty static type checking to enforce type annotations and classify errors early, preventing runtime type failures.

How do I use TypeGuard and Protocol for boundary validation in Python?

Use TypeGuard and Protocol for boundary validation in Python by leveraging modern typing features supported through Ty, enabling static type checking and enforcing strict boundary validation for API data and module inputs.

Does static type checking with Ty work for both small scripts and large APIs?

Static type checking with Ty works for both small scripts and large APIs, applying progressive type tightening and boundary validation to development workflows of any scale to prevent runtime type errors.

How do I configure error suppression policy for static type checking?

Configure error suppression policy for static type checking by applying Ty rules to classify type errors and guide fixes, establishing a clear suppression policy while satisfying modern typing features like TypedDict and Literal.

When do I need TypedDict and Literal annotations to prevent runtime type errors?

Use TypedDict and Literal annotations to prevent runtime type errors when enforcing strict boundary validation for API data; Ty satisfies these modern typing features to ensure accurate static type checking.