Developer Tools Agent Skills

Cider Clojure

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

Clojure 3-Color Linter

Enhances Clojure code analysis by integrating clj-kondo with GF(3) mathematical conservation and deterministic color-coded diagnostics.

ClojureScript Runtime Selector

Guides developers in selecting and implementing the optimal ClojureScript runtime for scripting, browser, and server-side environments.

Parallel Fanout

Orchestrates multi-threaded skill execution by deriving deterministic seeds from user interaction entropy for synchronized triadic workflows.

Borkdude Clojure Runtime Selector

Guides the selection and implementation of ClojureScript runtimes including Babashka, SCI, Cherry, and Squint.

React 19 Fundamentals

Implements modern React 19 patterns including Server Components, Server Actions, and the use() hook for robust web application development.

Git Workflow Standards

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

React Performance Optimizer

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

FFmpeg Fundamentals 2025

Provides expert guidance and command syntax for FFmpeg 7.1 and 8.0 operations, including AI transcription and next-gen codecs.

React State Management

Architects scalable React state solutions using Context API, Zustand, Jotai, and TanStack Query.

FFmpeg WebAssembly Assistant

Implements high-performance, client-side video processing and media transcoding using FFmpeg WebAssembly across modern web frameworks.

Specter Navigator Gadget

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

FFmpeg Complex Filtergraphs

Master complex FFmpeg filtergraph syntax for multi-stream video composition, transitions, and advanced audio mixing.

Git Worktree Checkout

Automates the creation of isolated git worktrees for branches and Pull Requests with integrated context reporting.

Git Bisect & Debugging Workflow

Automates the identification of regression causes through systematic git bisect workflows and subagent-led verification.

Git Smart Checkout

Streamlines local PR reviews and branch switches by automatically setting up isolated Git worktrees with rich context.

Leavn Commit Machine

Generates standardized, emoji-prefixed git commit messages with comprehensive change summaries and impact statements.

Proof General & Narya Integration

Enables higher-dimensional type theory proof assistance and version control using observational bridge types.

Dialectica Logic Engine

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

Slime Common Lisp

Enables professional Common Lisp development workflows by integrating SLIME-style interactive evaluation and environment management.

Git Checkout & Worktree Manager

Streamlines local development by checking out pull requests and branches into isolated git worktrees with full context.

Specter Navigator Gadget

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

Git Commit Best Practices

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

Hk Git Hook Manager

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

Rubato Composer - Mathematical Music Theory

Integrates Rubato Composer to enable mathematical music composition and analysis using the Topos of Music framework.

Bisimulation Game & Multi-Agent Skill Dispersal

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

Codebase Analyzer & Architect

Analyzes complex codebases to identify tech stacks, architectural patterns, and structural risks for seamless brownfield development.

MCP Tripartite Orchestrator

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

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.