Developer Tools Claudeスキル

Leavn Commit Machine

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

Git Worktree Checkout

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

Squint Runtime for ClojureScript

Compiles ClojureScript to lightweight, high-performance JavaScript with minimal runtime overhead and native data structures.

Git Smart Checkout

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

Codex Self-Rewriting

Enables Lisp-machine-inspired self-modification and cognitive continuity for AI agents using MCP Tasks and Narya bridge types.

Slime Common Lisp

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

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.

Cider Clojure REPL

Facilitates interactive Clojure development by integrating CIDER and nREPL functionality directly into the AI coding workflow.

Cider Clojure

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

Borkdude Clojure Runtime Selector

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

Rubato Composer - Mathematical Music Theory

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

Skill Creator for Codex

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

Git Checkout & Worktree Manager

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

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.

Codex Self-Rewriting

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

MCP Tripartite Orchestrator

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

Specter Navigator Gadget

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

Python FFmpeg Master

Streamlines video and audio processing in Python through standardized implementation patterns for FFmpeg and its wrapper libraries.

Specter Navigator Gadget

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

Aptos Orderless WEV

Implements World Extractable Value (WEV) strategies on Aptos using orderless transactions and game-theoretic models.

Clean Code Standards

Applies SOLID principles and Clean Code patterns to ensure maintainable, simple, and pragmatic software architecture.

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.

Color Envelope Preserving

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

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.

Type Inference Validation

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