Skills
.Work. You
Rest

harden-types

Official

Harden TypeScript types without runtime risk.

Software Engineering#type safety#typescript#zod#code audit#runtime validation#ts-ignore#safe refactoring
AuthorAgentSystemLabs
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This Skill reduces fragile TypeScript typing by removing unsafe any, dangerous casts, and suppressed compiler errors while adding runtime validation at the trust boundary so production input is actually verified.

Core Features & Use Cases

  • Type safety tightening in changed TypeScript: Scans only the relevant .ts/.tsx files from your diff and focuses on any, unsafe as casts, and @ts-ignore/@ts-expect-error usage.
  • Boundary-focused validation with your existing validator: Detects whether the project uses zod, valibot, or typebox and applies schema-based parsing at entry points (HTTP bodies, IPC, queue messages, webhook payloads, env parsing).
  • Safe classification-driven edits: Classifies each finding as MECHANICAL (auto-fix), STRUCTURAL (needs domain judgment), or LEGITIMATE (left with a hardening reason).

Quick Start

Ask an AI agent to run harden types on your last changes so it reports which type-safety issues were auto-fixed and which require your domain review.

Dependency Matrix

Required Modules

None required

Components

references

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: harden-types
Download link: https://github.com/AgentSystemLabs/core/archive/main.zip#harden-types

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.