Developer Tools Claudeスキル

Media Processing Toolkit

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

Automated Release Preparation

Streamlines the software release process by automating changelog updates and semantic version bumping across multiple project files.

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.

CIDER Semantic Navigation

Enhances Clojure development by providing semantic code navigation and similarity search via CIDER embeddings.

Squint Runtime

Compiles light-weight ClojureScript to JavaScript with minimal runtime overhead for high-performance scripts and seamless interop.

Clojure 3-Color Linter (clj-kondo)

Integrates clj-kondo with Gay.jl 3-color streams to provide deterministic, ternary-coded diagnostic feedback for Clojure development.

Clj-Kondo 3-Color Linter

Enhances Clojure code analysis with GF(3) conservation and deterministic color-coded diagnostic classification.

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.

Rust Cargo Manager

Manages Rust projects through build orchestration, dependency resolution, and multi-crate workspace management.

Claude Code Hooks Development

Guides the creation and debugging of Claude Code lifecycle hooks with a focus on output visibility and blocking patterns.

Triad Interleave Schedule Generator

Interleaves three deterministic color streams into balanced schedules for parallel execution using GF(3) validation.

Codex Self-Rewriting

Enables Lisp-machine-style self-modification for AI agents using MCP Tasks and structure-aware Narya bridge types.

Modern Angular Implementation

Implements state-of-the-art Angular 18+ features including Signals, standalone components, and optimized control flow for high-performance web applications.

Hatchery Repo Indexer

Indexes and maps the Plurigrid ecosystem of over 1,000 repositories using Gamut-Aware Yielding (GAY.md) color identities.

IES Flox Environment

Deploys a specialized development environment for Clojure, Julia, Python, and multimedia processing with deterministic coloring.

Skill Creator

Guides the creation of effective, modular skills to extend AI agent capabilities with specialized knowledge and workflows.

Persistent World State Builder

Enforces persistent, composable state patterns for topological systems by replacing ephemeral demonstrations with formal world builders.

Bisimulation Game

Synchronizes and disperses resilient skills across AI agent ecosystems using ternary conservation and observational equivalence.

Hy-Emacs Hylang Environment

Integrates Hylang into Emacs with LSP support, advanced REPL capabilities, and category-theoretic S-expression coloring.

Anoma Intents

Facilitates intent-centric cross-chain messaging and obstruction routing using categorical semantics and Juvix compilation.

Type Safety Guardian

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

ProofGeneral & Narya HOTT Assistant

Integrates higher-dimensional type theory and formal proof assistants into development workflows using observational bridge types.

Rails Error Prevention & Quality Gates

Prevents common Ruby on Rails runtime errors and architectural pitfalls through proactive checklists and automated verification patterns.

Rails Basecamp Engineer

Implements Ruby on Rails features using the architectural patterns and conventions pioneered by 37signals (Basecamp/HEY).

Three-Match 3-SAT & Subgraph Optimizer

Solves 3-SAT problems and optimizes execution paths using colored subgraph isomorphism and Möbius-filtered geodesics.

Code Cleanup & Refactoring

Automates repetitive, mechanical code maintenance tasks like linting fixes and bulk renaming to preserve developer context.

Modular Skills Design

Structures complex skills into manageable, token-efficient modules with a sustainable architecture.