types

Check single-file TypeScript types with optional tsc --noEmit validation.

Updated Aug 23, 2026
One-click install
npx skills add https://github.com/Technikhighknee/agent-workbench --skill types
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: types
Source: https://github.com/Technikhighknee/agent-workbench/tree/main/.claude/skills/types
Command: npx skills add https://github.com/Technikhighknee/agent-workbench --skill types

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

This Skill provides fast, deterministic type checking for a single file, ensuring quick feedback after edits without timeouts.

Core Features & Use Cases

  • Single-file focus: Checks one file at a time with no stale results.
  • Fast feedback: All operations complete in under 5 seconds.
  • Use Case: After editing src/edited.ts, run this to verify types instantly.

Quick Start

check_file({ file: 'src/edited.ts' })

Frequently Asked Questions about types

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

FAQPage Schema
How do I type-check a single TypeScript file after editing?

Single-file type checking verifies TypeScript syntax and type errors in one file without requiring a full project build. Use check_file({ file: 'src/edited.ts' }) to get instant feedback under 5 seconds, catching issues like missing types or incorrect assignments before they propagate.

Can I perform TypeScript type checking without waiting for a full project compilation?

Yes. Single-file type checks complete in under 5 seconds with no project-wide state, delivering fast feedback after edits. For broader validation, you can optionally run tsc --noEmit to check the entire project when needed.

What's the fastest way to navigate to type definitions in TypeScript?

Use go_to_definition within single-file type checking to jump to where a type or symbol is declared. Combined with fast, deterministic analysis, you navigate definitions instantly without stale results or project rebuilds.

How do I apply quick fixes for TypeScript type errors in my file?

Call get_quick_fixes after type checking to retrieve suggested fixes for errors in a single file. Apply these fixes immediately to resolve type issues, then re-verify with check_file to confirm the corrections.

Does single-file type checking work for post-edit verification in TypeScript projects?

Yes. Single-file type checking is designed for fast verification immediately after editing, ensuring no stale results and responses under 5 seconds. It scopes to one file at a time, making it ideal for rapid feedback during development.