Agent skill

Tsz Tracing

by tsz-org in tsz-org/tsz

Debug tsz compiler issues using the built-in tracing infrastructure.

Apache-2.0Auto-check passed

Install Tsz Tracing

skills CLI
$ npx skills add tsz-org/tsz --skill tsz-tracing -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install tsz-org/tsz tsz-tracing --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/tsz-org/tsz.git skills-src && mkdir -p .claude/skills && cp -r skills-src/.agents/skills/tsz-tracing .claude/skills/tsz-tracing && rm -rf skills-src

Use ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.

Claude Code skills documentation · loads skills from .claude/skills/

Facts

Skill name
tsz-tracing
GitHub stars
577
Token cost
~475 tokens
SKILL.md length
151 words
Files
2
Skills in repo
12
Repo updated
First seen
Licence
Apache-2.0

At a glance

Debug tsz compiler issues using the built-in tracing infrastructure.

  • Works in 5 steps: Reduce to the smallest .ts witness. → Compare expected behavior with npx tsc… → Start broad (debug, tree), then narrow… → …
  • Investigating type inference bugs
  • SKILL.md covers Commands, Workflow, Useful Filters and Read Output
  • Calls cargo and npx

What it does

Tsz Tracing is an agent skill from tsz-org/tsz. Debug tsz compiler issues using the built-in tracing infrastructure. Use when investigating type inference bugs, conformance failures, or understanding runtime behavior. Provides hierarchical trace output of solver, checker, and binder operations.

Its SKILL.md is about 480 tokens, which your agent loads only when the skill is triggered. The skill folder holds 1 other file (for example `QUICKREF.md`).

It works with Rust. The repository describes itself as: An experiment in fully hand-off software engineering: A performance-first TypeScript checker. The licence is Apache-2.0.

When your agent uses it

  • Investigating type inference bugs
  • Conformance failures
  • Understanding runtime behavior

Example prompts

  • “/tsz-tracing”

Requirements

  • Node.js

Workflow steps

5 steps, taken from the first numbered list in SKILL.md.

  1. Reduce to the smallest .ts witness.
  2. Compare expected behavior with npx tsc --noEmit file.ts.
  3. Start broad (debug, tree), then narrow by module.
  4. Capture large traces with 2> trace.log, head, tail, rg, or
  5. Use structured trace fields and spans; never add ad-hoc stdout/stderr

What it can do on your machine

Read from SKILL.md and the folder at commit 153b25a. It shows what the files ask for, not the result of running them.

  • Tool permissions

    Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.

    From allowed-tools in the SKILL.md frontmatter.

  • Runs code

    Shell commands in SKILL.md call:

    • cargo
    • npx

    From the folder's file list and the shell code blocks in SKILL.md.

  • Network

    No URLs in SKILL.md. Its commands use npx, which can reach the network depending on how they are called.

    From URLs in SKILL.md, links to its own repository left out.

  • Credentials

    Names no API keys, tokens, secrets or passwords.

    From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Tsz Tracing loads about 475 tokens when it runs. Until then it costs about 65 tokens; SKILL.md has 151 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~65
When it runs · the whole SKILL.md, loaded when a task matches
~475

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Auto-check passed

The automated check found no risky patterns in SKILL.md.

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

The full file from tsz-org/tsz at commit 153b25a, republished under its Apache-2.0 licence (© tsz-org). 151 words, ~475 tokens.

Download SKILL.mdSave it as .claude/skills/tsz-tracing/SKILL.md (or your agent's skills folder). This skill also uses 1 other file; get the full folder from GitHub.
name
tsz-tracing
description
Debug tsz compiler issues using the built-in tracing infrastructure. Use when investigating type inference bugs, conformance failures, or understanding runtime behavior. Provides hierarchical trace output of solver, checker, and binder operations.

TSZ Tracing

Use tracing before adding debug prints. It is for conformance failures, inference/narrowing/assignability surprises, and runtime path discovery.

Commands

bash
TSZ_LOG=debug TSZ_LOG_FORMAT=tree cargo run -p tsz-cli -- file.ts
TSZ_LOG=debug TSZ_LOG_FORMAT=json cargo run -p tsz-cli -- file.ts
TSZ_LOG="tsz_solver=trace,tsz_checker=debug" TSZ_LOG_FORMAT=tree cargo run -p tsz-cli -- file.ts
TSZ_LOG="tsz_solver::narrowing=trace" TSZ_LOG_FORMAT=tree cargo run -p tsz-cli -- file.ts

Use RUST_LOG only as fallback. TSZ_LOG_FORMAT values: tree, json, text.

Workflow

  1. Reduce to the smallest .ts witness.
  2. Compare expected behavior with npx tsc --noEmit file.ts.
  3. Start broad (debug, tree), then narrow by module.
  4. Capture large traces with 2> trace.log, head, tail, rg, or grep "type_id=<id>".
  5. Use structured trace fields and spans; never add ad-hoc stdout/stderr debugging.

Useful Filters

  • Narrowing: TSZ_LOG="tsz_solver::narrowing=trace".
  • Relations/inference: TSZ_LOG="tsz_solver=debug".
  • Checker lookup/cache: TSZ_LOG="tsz_checker=debug".
  • Query events: TSZ_LOG=tsz::query_json=trace TSZ_LOG_FORMAT=json.

Read Output

Tree output nests spans, shows elapsed ms, level, module path, event, and fields. Look for the first structural divergence: wrong narrowed member, unexpected relation result, missing lazy ref resolution, cache hit/miss, or diagnostic source-span decision.

Tracing goes to stderr and is initialized only when TSZ_LOG/RUST_LOG is set. For trace examples and quick reminders, read QUICKREF.md.

© tsz-org, Apache-2.0. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file

Files

SKILL.md and 1 other file in .agents/skills/tsz-tracing of tsz-org/tsz.

  • SKILL.md
  • QUICKREF.md

Open the folder on GitHubat commit 153b25a

Compare with similar skills

Tsz Tracing next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.

Tsz Tracing compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Tsz Tracing this skilltsz-org/tsz577—~475Automated safety check: PassApache-2.0
Update V8 Versionopeninterpreter/openinterpreter69k2 repos~845Automated safety check: PassApache-2.0
Firecrawl Page Scrape Integrationfirecrawl/firecrawl190k1 repos~944Automated safety check: PassISC
Migrate Core Code to Submodulestinyhumansai/openhuman42k—~2.6kAutomated safety check: PassGPL-3.0
Rust TDD Workflowrtk-ai/rtk83k—~753Automated safety check: NotesApache-2.0
OpenLogi macOS Permissions TriageAprilNEA/OpenLogi23k—~2.5kAutomated safety check: NotesApache-2.0

Similar skills

  • Update V8 Version

    openinterpreter/openinterpreter

    Bumps the pinned v8 and rusty_v8 versions in Codex, validates the release-candidate path with the v8-canary check, and traces failures to upstream build changes.

    69k GitHub starsUsed in 2 repos~845 tokens
    DevOps & CloudAuto-check passed
  • Adds Firecrawl's /scrape endpoint to application code to pull markdown, HTML, links, screenshots or structured data from a single known URL.

    190k GitHub starsUsed in 1 repo~944 tokens
    Data & AnalyticsAuto-check passed
  • Migrate Core Code to Submodules

    tinyhumansai/openhuman

    Plans and carries out moving non-host-specific code and its tests from the OpenHuman core into vendored tiny submodule libraries, then releases the submodule and re-pins the host.

    42k GitHub stars~2.6k tokensUpdated today
    DevelopmentAuto-check passed
  • Enforces red-green-refactor for Rust work, with idiomatic test patterns, a naming convention and a pre-commit gate of cargo fmt, clippy and test.

    83k GitHub stars~753 tokensUpdated today
    Testing & QAAuto-check: notes
  • Decides whether an OpenLogi device problem on macOS is a privacy-permission (TCC) problem, using agent log lines, and says which identity needs which grant.

    23k GitHub stars~2.5k tokensUpdated today
    DevelopmentAuto-check: notes
  • Guide for writing idiomatic Rust code based on Apollo GraphQL's best practices handbook.

    5.6k GitHub starsUsed in 3 repos~1.1k tokens
    DevelopmentAuto-check passed

More from tsz-org/tsz

All 12 skills in this repo
  • Run a deep DRY + code-hygiene audit of the Rust workspace and turn the findings into verified, deduplicated, hierarchical GitHub tech-debt issues.

    577 GitHub stars~1.5k tokensUpdated 1 mo ago
    Auto-check passed
  • Audit TSZ repo iteration speed and quality. An agent skill from tsz-org/tsz.

    577 GitHub stars~557 tokensUpdated 1 mo ago
    Auto-check passed
  • A skill your agent uses when planning, implementing, reviewing, or interpreting TSZ performance work, including benchmark regressions, cache/residency changes, timing claims, perf counters, hotspot…

    577 GitHub stars~746 tokensUpdated 1 mo ago
    Auto-check passed
  • Create, refresh, and publish TSZ pull requests with correct body and state.

    577 GitHub stars~555 tokensUpdated 1 mo ago
    Auto-check passed
  • Start TSZ work safely in a crowded multi-agent checkout. An agent skill from tsz-org/tsz.

    577 GitHub stars~518 tokensUpdated 1 mo ago
    Auto-check passed
  • Tsz Architecture

    tsz-org/tsz

    Preserve TSZ architecture boundaries while changing checker, solver, binder, emitter, LSP, WASM, or CLI code.

    577 GitHub stars~547 tokensUpdated 1 mo ago
    Auto-check passed

Works with

Questions about Tsz Tracing

What does Tsz Tracing do?

Debug tsz compiler issues using the built-in tracing infrastructure. Tsz Tracing is an agent skill from tsz-org/tsz. Debug tsz compiler issues using the built-in tracing infrastructure.

When should I use Tsz Tracing?

Tsz Tracing fits situations like: investigating type inference bugs; conformance failures; understanding runtime behavior.

How do I install Tsz Tracing in Claude Code?

Run `npx skills add tsz-org/tsz --skill tsz-tracing -a claude-code`. Or copy the skill folder (.agents/skills/tsz-tracing in tsz-org/tsz) into .claude/skills/tsz-tracing in your project. Claude Code loads it when a task matches its description.

How do I install Tsz Tracing in Codex?

Run `npx skills add tsz-org/tsz --skill tsz-tracing -a codex`. Or copy the skill folder (.agents/skills/tsz-tracing in tsz-org/tsz) into .agents/skills/tsz-tracing in your project. Codex loads it when a task matches its description.

Can I use Tsz Tracing in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add tsz-org/tsz --skill tsz-tracing -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/tsz-tracing, .gemini/skills/tsz-tracing, .github/skills/tsz-tracing and .opencode/skills/tsz-tracing in your project.

What does Tsz Tracing need to run?

Going by SKILL.md and its folder, Tsz Tracing needs the command-line tools its instructions call (cargo and npx). Our summary lists: Node.js.

Does Tsz Tracing access the network?

SKILL.md contains no URLs. Its commands use npx, which can reach the network depending on how they are called. This is read from the text; nothing was executed.

Is Tsz Tracing safe to install?

Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.

What licence does Tsz Tracing use?

Tsz Tracing is published under the Apache-2.0 licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.

How many tokens does Tsz Tracing use?

About 475 tokens (SKILL.md is roughly 1.9k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.

What are the alternatives to Tsz Tracing?

Skills that share tags, products or a category with Tsz Tracing: Update V8 Version (openinterpreter/openinterpreter, 69k stars), Firecrawl Page Scrape Integration (firecrawl/firecrawl, 190k stars), Migrate Core Code to Submodules (tinyhumansai/openhuman, 42k stars) and Rust TDD Workflow (rtk-ai/rtk, 83k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Tsz Tracing?

tsz-org (a GitHub organization) maintains it in tsz-org/tsz, which has 577 GitHub stars. The repository holds 12 skills in this directory. The repository was last updated on September 9, 2026.

Source: tsz-org/tsz on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.