ty

v1.0.0+codex.161e050cc317

ty — Astral's extremely fast (Rust) Python type checker and language server, in 0.0.x beta. Use when running or configuring `ty check`, reading ty diagnostics, setting rule levels in `[tool.ty]`/`ty.toml`, writing `# ty: ignore[rule]` suppressions, debugging environment or module-resolution failures, wiring ty into CI (exit codes, `--output-format github`), or migrating from mypy/pyright. Pinned to ty 0.0.72. The type checker — NOT ruff (lint/format) or uv (packaging).

Codex1 Skill

By Alberto LealLicense: MIT22 GitHub starsUpdated 1 hour ago

Directory evidence

Runtimes: Codex
Parsed components: 1 skill or MCP entry
Source updated: Aug 28, 2026
Manifest status: Canonical path parsed

The directory validates manifest shape and source location. It does not execute the plugin or provide a security endorsement. Review the indexing methodology →

Install plugin

Installs for the current user

codex plugin marketplace add IchenDEV/agent-plugin-mkt
codex plugin marketplace upgrade agent-plugin-marketplace
codex plugin add ty@agent-plugin-marketplace

Paste and run these commands in a terminal with Codex. They add and refresh the PluginsMP catalog, then install this plugin.

The installer fetches third-party code from the source repository shown on this page. This directory validates manifest structure and source location, but does not perform a security audit; review the manifest, components, and source before installing.

Get the source manually

$ git clone https://github.com/dashed/claude-marketplace

Clone the source repository, then follow its setup instructions to add the plugin to a compatible client. The plugin root is plugins/ty/.

Plugin files

plugins/ty/

├── .codex-plugin/plugin.json
└── skills/ty/SKILL.md

Included Skills1

tyskills/ty/SKILL.md

ty — Astral's extremely fast (Rust) Python type checker and language server, currently in 0.0.x beta. Use when running or configuring `ty check`, reading ty diagnostics, setting rule levels in `[tool.ty]` or `ty.toml`, writing `# ty: ignore[rule]` suppressions, debugging environment/module-resolution failures (`environment.python`, `python-version`, `extra-paths`, `src.include`/`exclude`), wiring ty into CI (exit codes, `--output-format github`), or migrating a project from mypy or pyright. Triggers on `ty check`, `[tool.ty]`, `ty.toml`, `# ty: ignore`, `ty explain rule`, `error[unresolved-import]`, or 'Astral type checker'. This is **ty**, the type checker — NOT **ruff** (linter/formatter) or **uv** (packaging), which are separate Astral tools with their own skills here — and it is an alternative to mypy/pyright, not those tools themselves. A bare `ty` is not a trigger: it is a common shell alias and Python import alias (`import typing as ty`); require one of the specific triggers above.

Plugin manifests1

plugins/ty/.codex-plugin/plugin.json

{
  "name": "ty",
  "version": "1.0.0+codex.161e050cc317",
  "description": "ty — Astral's extremely fast (Rust) Python type checker and language server, in 0.0.x beta. Use when running or configuring `ty check`, reading ty diagnostics, setting rule levels in `[tool.ty]`/`ty.toml`, writing `# ty: ignore[rule]` suppressions, debugging environment or module-resolution failures, wiring ty into CI (exit codes, `--output-format github`), or migrating from mypy/pyright. Pinned to ty 0.0.72. The type checker — NOT ruff (lint/format) or uv (packaging).",
  "author": {
    "name": "Alberto Leal"
  },
  "license": "MIT",
  "keywords": [
    "ty",
    "python",
    "type-checker",
    "typing",
    "mypy",
    "astral",
    "cli"
  ],
  "interface": {
    "displayName": "Ty",
    "shortDescription": "ty — Astral's extremely fast (Rust) Python type checker and language server, in 0.0.x beta. Use when running or configuring `ty check`, reading ty diagnostics, setting rule...",
    "longDescription": "ty — Astral's extremely fast (Rust) Python type checker and language server, in 0.0.x beta. Use when running or configuring `ty check`, reading ty diagnostics, setting rule levels in `[tool.ty]`/`ty.toml`, writing `# ty: ignore[rule]` suppressions, debugging environment or module-resolution failures, wiring ty into CI (exit codes, `--output-format github`), or migrating from mypy/pyright. Pinned to ty 0.0.72. The type checker — NOT ruff (lint/format) or uv (packaging).",
    "developerName": "Alberto Leal",
    "category": "Productivity",
    "capabilities": [
      "Skills"
    ],
    "defaultPrompt": [
      "Use $ty for this task."
    ]
  },
  "repository": "https://github.com/dashed/claude-marketplace/tree/master/plugins/ty",
  "skills": "./skills/"
}

For maintainers

If you maintain this plugin, link to this source-backed listing from your README so users can review its manifest and indexed components.

[ty on Agent Plugins Marketplace](https://pluginsmp.com/plugins/ty)