Developer Tools Claudeスキル

Narya Hatchery

Facilitates formal verification and higher-dimensional type theory research using the Narya proof assistant.

End Coend Calculus

Implements category theory abstractions for universal (co)wedges and Yoneda reductions within computational workflows.

Lazyjj TUI for Jujutsu

Provides an interactive Terminal User Interface (TUI) for the Jujutsu (jj) version control system to simplify repository management.

Hatchery Index

Catalogs and maps the vast plurigrid ecosystem of over 1,000 repositories using chromatic identities to facilitate skill creation.

Swift Linux Environment Setup

Streamlines the installation and configuration of the Swift programming language on Debian Linux systems for server-side development.

Directed Yoneda Induction

Implements directed path induction based on Riehl-Shulman synthetic ∞-category theory for formal verification.

Bidirectional Proof Navigator

Optimizes theorem-proof navigation using Friedman's B operator for resource-aware evaluation in Julia.

Claude Code Plugin Architect

Automates the creation of standardized Claude Code plugins and skills following the official 2025 schema and best practices.

Claude Skill Architect

Automates the creation and validation of standardized Claude Code SKILL.md files following Anthropic's official patterns.

Parallel Fanout

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

Clojure 3-Color Linter

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

Skill Creator

Guides the development and optimization of specialized Claude skills using standardized workflows, modular resources, and metadata best practices.

ClojureScript Runtime Selector

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

Aptos Orderless WEV

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

WezTerm Configuration Assistant

Streamlines the creation and management of advanced WezTerm terminal configurations using Lua scripting and real-time documentation.

Skill Creator

Guides the creation, development, and packaging of custom Claude Code skills to extend agent capabilities with specialized workflows and domain knowledge.

Vim-AI Config Manager

Streamlines the configuration and management of the vim-ai plugin for Vim and Neovim environments.

Clean Architecture & Modular Monoliths

Enforces Clean Architecture principles for Modular Monoliths to ensure domain isolation and prevent architectural decay.

Codex Refactor

Refactors complex modules and code patterns using the Codex CLI to provide an independent perspective on code restructuring.

Git Smart Checkout

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

Git Checkout & Worktree Manager

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

Git Worktree Checkout

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

Git Worktree Init Script

Automates project-specific initialization scripts immediately after creating Git worktrees to ensure a consistent workspace setup.

Unworld Derivational Logic

Replaces temporal succession with deterministic seed-based derivation chains using GF(3) invariants.

Squint Runtime for ClojureScript

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

Leavn Commit Machine

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

Codex Self-Rewriting

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

Codex Self-Rewriting

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

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.