Developer Tools Habilidades de Claude

GF(3) Color Envelope Navigator

Enforces GF(3) ternary color conservation across navigator compositions to ensure deterministic data traversal and structural integrity.

Bisimulation Game & Multi-Agent Skill Dispersal

Ensures resilient skill synchronization and state equivalence across multiple AI agents using ternary conservation laws.

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.

Specter Navigator Gadget

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

Hk Git Hook Manager

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

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.

Tuple Navigation & Composition

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

Squint ClojureScript Runtime

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

Specter Navigator Gadget

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

Tuple Navigation Composition

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

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.

Constraint Generalization Logic

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

Constraint Generalization Logic

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

Color Envelope Preserving

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

Skill Creator for Codex

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

Constraint Generalization & Refinement

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

Type Inference Validation

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

Infinity Category Foundations

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

Synthetic Adjunctions

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

Unworlding Involution Logic

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

Code Refactor Helper

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

Git Branch Update

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

Git Workflow Standards

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

Rezk Types & Local Univalence

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

Dialectica Logic Engine

Transforms logical proofs into interactive game-theoretic strategies for witness extraction and formal verification.

React Hooks Expert Reference

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