ty-docs

ty-docs is a skill for Claude Code, Codex from pledgeandgrow/pledge-skills. It costs 34 tokens per session (1,154 once invoked), scanned A, original, MIT.

A reference guide to ty, a Python type checker and language server that finds type problems and provides editor assistance.

In plain words
What is it for?
Use it to check Python code, configure project and per-file rules, suppress specific diagnostics, or support editor navigation and completions.
Why use it?
It helps coding agents interpret type diagnostics and configure checking rules for projects that may contain partly typed Python code.

Skill for Claude CodeCodex

Written for no agent in particular: nothing here depends on one.

Good fit Use it to check Python code, configure project and per-file rules, suppress specific diagnostics, or support editor navigation and completions.

Compare 6 skills from other repositories ↓
Install with agentmods
npx agentmods add skills/pledgeandgrow/pledge-skills/ty
Install

Getting it into your agent

One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.

Any agent
npx skills add pledgeandgrow/pledge-skills --skill ty
Clone the repo
git clone --depth 1 https://github.com/pledgeandgrow/pledge-skills

Made for: Claude Code, Codex.

Wrote this? Show the measurements

A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.

agentmods badge for ty-docs

README.md
[![agentmods](https://agentmods.dev/badge/skills/pledgeandgrow/pledge-skills/ty/github.svg)](https://agentmods.dev/skills/pledgeandgrow/pledge-skills/ty)
Your own site
<a href="https://agentmods.dev/skills/pledgeandgrow/pledge-skills/ty"><img src="https://agentmods.dev/badge/skills/pledgeandgrow/pledge-skills/ty/github.svg" alt="Measured on agentmods" height="20"></a>

Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.

agentmods 80×15 button for ty-docs

Your own site · 80×15
<a href="https://agentmods.dev/skills/pledgeandgrow/pledge-skills/ty"><img src="https://agentmods.dev/badge/skills/pledgeandgrow/pledge-skills/ty.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 34 Skills are progressive disclosure: only the name and description are preloaded; the body loads when the skill is used.
When invoked 1,154 The whole file, excluding the scripts and references it only reads on demand.
Security scan A 0 findings. A grade says what 26 rules found in the file — not that it is safe.
Origin original No closer match found in the catalogue.
Token cost

What it costs to keep this loaded

Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.

ModelPer sessionOnce invoked
Fable 5.1 $0.00034 $0.01154
Opus 5 $0.00017 $0.00577
Sonnet 5 $0.00007 $0.00231
Haiku 4.5 $0.00003 $0.00115

Measured 6d ago against content hash 2d96765ff05e, method: parsed. Prices are Anthropic first-party input rates as of 2026-09-09, from the pricing page.

Security

Grade A, and why

ty-docs scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 6d ago.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Nothing flagged

None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.

skills/ty/SKILL.md · 110 lines

How it starts

The opening of the file, as written. The whole thing — 110 lines — stays where its author put it; the contents beside it link to each section on GitHub.

ty — Python Type Checker and Language Server

Overview

ty is an extremely fast Python type checker and language server written in Rust, developed by Astral (the creators of uv and Ruff). It provides 10x–100x faster type checking than mypy and Pyright, with comprehensive diagnostics, configurable rule levels, per-file overrides, suppression comments, and first-class project support.

Key Features

  • Speed: 10x–100x faster than mypy and Pyright
  • Comprehensive diagnostics with rich contextual information
  • Configurable rule levels (error, warn, ignore) with per-file overrides
  • Suppression comments: # ty: ignore[rule], # type: ignore, # type: ignore[ty:rule]
  • Designed for adoption: supports redeclarations and partially typed code
  • Language server with code navigation, completions, code actions, auto-import, inlay hints, hover, signature help, semantic highlighting, code folding, notebook support
  • Fine-grained incremental analysis for fast IDE updates (milliseconds, even on large projects)
  • Editor integrations: VS Code, Neovim, Zed, PyCharm, Emacs, and any LSP-compatible editor
  • Advanced typing features: first-class intersection types, advanced type narrowing, sophisticated reachability analysis
  • Jupyter Notebook support (.ipynb files)
  • Online playground at play.ty.dev

Quick Reference

Command Description
ty check Type-check a project
ty check --watch Watch mode (incremental rechecking)
ty check --fix Apply fixes to resolve errors
ty server Start the language server
ty version Display version
ty explain rule [RULE] Explain a rule (or all rules)
ty generate-shell-completion <SHELL> Generate shell completions

Configuration

ty supports configuration via pyproject.toml ([tool.ty] table) or ty.toml files. Configuration is discovered hierarchically from the current directory upward. User-level config is at ~/.config/ty/ty.toml (Linux/macOS) or %APPDATA%\ty\ty.toml (Windows).

Read the full file on GitHub · 110 lines

Files

What ships with it

3 files beside SKILL.md in the same directory: the scripts, references and assets a skill reads on demand. Not counted in the per-session cost; read them before you install if any of them is executable.

Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

  1. 6d ago First seen · 110 lines · 34 tokens per session scan A 2d96765ff05e

Subscribe to this mod's changes

ty-docs is a skill published in the GitHub repository pledgeandgrow/pledge-skills (10 stars, last pushed 1mo ago), licensed MIT. It adds 34 tokens to every session and 1,154 once invoked, about $0.0002 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-09-03.

Related

Other skills, from other repositories

mypy

Skill "mypy" from bobmatnyc/claude-mpm, covering mypy - static type checking for python, basic mypy, with common type stubs, for fastapi projects and for django projects.

bobmatnyc/claude-mpm · 24 tokens

biopython

Comprehensive molecular biology toolkit. Use for sequence manipulation, file parsing (FASTA/GenBank/PDB), phylogenetics, and programmatic NCBI/PubMed access (Bio.Entrez). Best for batch processing, custom bioinformatics pipelines, BLAST automation. For quick lookups use gget; for multi-service integration use…

synthetic-sciences/openscience · 76 tokens

python-repl

Interactive Python REPL automation with common helpers and best practices.

gptme/gptme · 15 tokens

dd-code-generation

Use pup CLI for immediate Datadog operations or generate code for integration into applications.

DataDog/pup · 16 tokens

modern-python-toolchain

Modern Python project setup with uv, ruff, and pyright. Use when initializing a new Python project, configuring the Python environment, setting up linting/formatting, or when a project needs uv (the fast Python package manager). Trigger on: 'set up Python', 'new Python project', 'configure uv', 'install uv', 'ruff'…

XiaomiMiMo/MiMo-Code · 105 tokens

nim-mcp-tools

Use for Nim symbol navigation, diagnostics, and type resolution. MANDATORY: Use specialized MCP tools (nimFindSymbols, nimFindReferences, nimListSymbols, nimCheckFile, nimCheckProject, nimFindTypeDefinition) first; fall back to grep only on error or user confirmation.

nim-lang/langserver · 64 tokens