Developer Tools Claude 스킬

Hk Git Hook Manager

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

Specter Navigator Gadget

Optimizes complex data structure traversal and transformation using bidirectional path compilation and 3-MATCH constraint satisfaction.

Specter Navigator Gadget

Enables bidirectional navigation and transformation of complex nested data structures using compiled path expressions and constraint satisfaction.

MCP Tripartite Orchestrator

Orchestrates Model Context Protocol (MCP) servers using a mathematical 3-partite framework to ensure balanced tool integration and data validation.

Git Commit Best Practices

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

Color Envelope Preserving

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

Bisimulation Game Agent Sync

Synchronizes and verifies skill dispersal across multiple AI agents using GF(3) ternary logic and observational equivalence.

Skill Creator

Standardizes the development of custom Claude Code skills through structured workflows, templates, and context-optimization guidelines.

Cider Clojure

Enables interactive Clojure development through seamless CIDER and nREPL integration for real-time code evaluation.

Git Branch Update

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

Squint ClojureScript Runtime

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

Constraint Generalization Logic

Synthesizes and propagates formal constraints across complex code paths to enable automatic refinement typing and proof generation.

Tuple Navigation Composition

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

Tuple Navigation & Composition

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

Constraint Generalization Logic

Synthesizes and propagates formal constraints across complex data navigation paths using refinement typing.

Constraint Generalization & Refinement

Synthesizes and propagates complex logic constraints across composed data paths to enable formal refinement typing and verification.

Skill Creator for Codex

Guides the creation and optimization of specialized skills to extend Claude Code's capabilities with domain knowledge and workflows.

Type Inference Validation

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

Color Envelope Preserving

Enforces GF(3) color conservation and deterministic path navigation for complex data structures.

Tuple Navigation & Composition

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

Unworlding Involution Logic

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

Rezk Types & Local Univalence

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

Type Inference & Validation

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

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 data navigation paths to prevent runtime errors and structural mismatches.

Git Workflow Standards

Standardizes Git operations, branching strategies, and release processes for consistent repository management.

Type Inference Validation

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

React Hooks Expert Reference

Master React state management and component lifecycles with a comprehensive library of hook patterns and React 19 best practices.

React Performance Optimizer

Optimizes React application performance using advanced memoization, code splitting, and virtualization techniques.