Developer Tools Habilidades de Claude

Sync Main

Synchronizes local git branches with origin/main by automating fetching, rebasing or merging, and conflict resolution.

Cleanup Audit

Analyzes source code to identify and rank technical debt and complexity hotspots for prioritized refactoring.

Senior Rust Practices

Implements production-ready Rust architecture, workspace management, and battle-tested coding patterns.

Bafishka Shell Operations

Enhances Fish shell with Rust-native Clojure evaluation for advanced data processing and file system operations.

Ruler AI Configuration Manager

Centralizes and propagates AI agent instructions and MCP configurations across 18+ different coding assistants simultaneously.

Simplify Diff

Refines code changes to be more concise and readable while maintaining identical functional behavior.

Skill Bonds Registry

Orchestrates and balances complex Claude Code skill interactions using topological graph theory and functional triads.

Skill Installer

Installs and manages specialized Claude Code skills from curated lists or GitHub repositories to extend AI capabilities.

Interaction Nets & Parallel Reduction

Provides expert guidance on Lafont’s interaction nets for optimal, massively parallel lambda calculus reduction and graph rewriting.

UV One-Liners for Python

Enables rapid, zero-install Python execution and dependency management using the UV toolchain.

OCaml Ecosystem Toolkit

Streamlines OCaml development by integrating opam package management, dune build systems, and advanced developer tooling.

Protocol ACSet Designer

Models and analyzes decentralized P2P protocols using categorical data structures to ensure seamless interoperability and architectural integrity.

Triadic Skill Loader

Orchestrates AI capabilities by loading balanced triads of specialized skills using GF(3) mathematical conservation principles.

Type Safety Guardian

Enforces strict TypeScript typing standards and ADR-0006 compliance to eliminate unsafe types and runtime errors.

TV Git Scan

Scans repository state and history to provide a concise summary of current changes and recent commits.

Stellogen Logic Framework

Implements a logic-agnostic programming environment based on interaction nets and Girard's transcendental syntax.

Hoot Scheme-to-Wasm Compiler

Compiles Scheme source code into high-performance WebAssembly modules with full tail-call optimization and JavaScript interoperability.

Pijul Sparse Skill Manager

Manages skill versioning through sparsity-preserving Pijul patches and GF(3) projection logic to minimize storage and ensure categorical consistency.

Linear Logic & Resource Validator

Implements Girard's linear logic to ensure resource-aware computation and precise memory management.

Terminal Mastery & Emulation

Provides high-performance terminal emulation and advanced CLI productivity tools powered by libghostty-vt.

Unison Functional Programming

Streamlines development in the Unison language using content-addressed architecture and algebraic effects for distributed systems.

Concatenative Programming

Enables stack-based concatenative programming patterns and composition-heavy code generation for languages like Forth, Factor, and Joy.

MCP Tripartite Integration

Orchestrates MCP servers into balanced tripartite structures to ensure formal validation and structural integrity across development workflows.

Media Processing Toolkit

Automates complex video, audio, and image transformations using industry-standard CLI tools like FFmpeg, ImageMagick, and SoX.

Skill Maker

Automatically generates production-ready Claude Code skills by analyzing tool documentation and applying standardized implementation patterns.

SLIME Common Lisp Integration

Integrates Superior Lisp Interaction Mode (SLIME) capabilities into Claude for interactive Common Lisp development and evaluation.

Dependent Type Checker

Validates program correctness using bidirectional type checking and dependent type theory to catch errors at compile time.

HVM Runtime & Parallel Computation

Executes massively parallel functional code using interaction nets and GPU acceleration for optimal reduction speed.

Covariant Fibrations

Validates and manages Riehl-Shulman covariant fibrations for directed type theory and synthetic homotopy theory.

Lint Fixer

Automates the identification and resolution of code linting errors to maintain high-quality, standardized codebases.