Developer Tools Claude 스킬

Color Envelope Preserving

Ensures deterministic data navigation and structural integrity using GF(3) color conservation laws for path compositions.

Type Inference Validation

Enforces static type safety and structural validation for data navigation paths before execution.

Tuple Navigation & Composition

Navigates and composes complex product structures like tuples and records with type-safe parallel or sequential access.

Squint ClojureScript Runtime

Compiles ClojureScript code into minimal, high-performance JavaScript with near-zero runtime overhead.

Tuple Navigation Composition

Navigates and transforms complex product structures like tuples and records using type-safe, category-theoretic composition.

Next.js App Router Master

Implements standardized Next.js App Router architectures and conventions for high-performance React applications.

Rezk Types & Local Univalence

Implements Rezk types and local univalence principles for synthetic infinity-category theory and topological chemical computing.

Tuple Navigation & Composition

Navigates and composes complex product structures like tuples and records with type-safe parallel access.

Type Inference Validation

Enforces static type safety and structural validation for data navigation paths to prevent runtime errors.

Unworlding Involution Logic

Implements frame-invariant self-inverse patterns and triadic color dynamics using mathematical involution.

Synthetic Adjunctions

Synthesizes and verifies universal constructions using directed type theory for advanced categorical programming and formal verification.

Infinity Category Foundations

Provides model-independent foundations for ∞-category theory based on the Riehl-Verity ∞-cosmos axiomatic framework.

Type Inference & Validation

Enforces static type safety for navigation paths to prevent runtime structural errors through compile-time validation.

Type Inference Validation

Enforces static type safety for data navigation paths to prevent runtime errors and structural mismatches.

Codex Self-Rewriting

Enables autonomous self-modification for AI agents using Lisp-machine patterns and MCP Tasks.

React 19

Builds high-performance web applications using modern React 19 features including Server Components, Server Functions, and advanced hooks.

Git Branch Update

Automates fetching upstream changes and intelligently resolving merge conflicts within git workflows.

Pattern Match Protocol

Validates architectural and implementation alignment by comparing a source of truth against target documents or codebases.

Code Refactor Helper

Systematically refactors code to enhance maintainability, performance, and structural integrity without changing external behavior.

Skillsets.cc Contributor Wizard

Guides users through the end-to-end process of scaffolding, validating, and submitting new skillsets to the skillsets.cc registry.

Code Denoise & Refactor

Simplifies and refines source code for better clarity, consistency, and maintainability after implementation.

Hk Git Hook Manager

Manages and automates Git hooks using the Pkl configuration language for high-performance development workflows.

Git Commit Best Practices

Enforces professional Git workflows by managing atomic commits, signing protocols, and automated hook troubleshooting.

Directed Interval (Rzk & Cubical)

Axiomatizes time-directed homotopy and reaction progress using directed intervals for synthetic infinity-categories.

Directed Interval Modeling

Axiomatizes time-directed homotopy and reaction progress using directed intervals for chemical and topological computations.

Legacy Code Refactor Assistant

Transforms legacy code into maintainable, modern architectures through structured, safety-first refactoring patterns.

Source Code Readability Cleaner

Refactors source code to improve maintainability and clarity without altering functional behavior.

COBOL Language Support

Optimizes Claude for writing, refactoring, and migrating COBOL code for mainframe and modern business systems.

Architecture Patterns

Guides the design of robust system architectures using common patterns, decision-making frameworks, and tradeoff analysis.

Functype Functional Programming

Simplifies functional programming in TypeScript by providing Scala-inspired types like Option, Either, and immutable collections.