Developer Tools Claude 技能

TIDAR Correct-by-Construction

Implements triadic agent orchestration with strict type-level invariants to ensure system states are mathematically balanced and correct by construction.

Category Theory Algebraic Patterns

Implements and manages free-forgetful adjunctions for formal algebraic structures within functional programming environments.

RSpec Coder

Generates and refines comprehensive RSpec test suites for Ruby and Rails applications using industry best practices and optimized conventions.

Automated Quality Gates & Hooks

Automates code quality enforcement by creating and managing custom hooks for Claude Code workflows.

Lazyjj TUI for Jujutsu

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

Skill Authoring Framework

Develops high-quality, reliable Claude Code skills using a rigorous Test-Driven Development (TDD) methodology.

Join Semilattice Logic

Implements join-semilattice structures and sup-preservation patterns for formal verification and topological computing.

Scoped Rule Architect

Enforces project-specific conventions through a structured TDD workflow for creating scoped Claude Code rules.

Ghostty Terminal Streaming & Playback

Streams, broadcasts, and replays terminal sessions using libghostty-vt, asciinema, and web-based terminal tools.

TypeScript Build Fixer

Resolves TypeScript and build errors incrementally through automated error parsing, contextual analysis, and verification cycles.

Topological Worlding Skill 6feab7

Facilitates autopoietic system evolution and GF(3) slice conservation for advanced generative pattern matching.

NPM Source Explorer

Downloads and analyzes npm package source code to understand internal implementations and debug complex library behaviors.

Modern Vue Development

Architects production-grade Vue 3 applications using TypeScript, the Composition API, and testing-first methodologies.

Topological SPI Verifier (1eab21)

Verifies SPI configurations and topological patterns using the Gay MCP framework and entropy-based state management.

Type Checker

Validates program correctness and logical consistency using bidirectional type checking for dependent types.

Code Structure Analysis

Analyzes code organization and module hierarchy to provide a comprehensive overview of project architecture.

AI Slop Cleaner

Identifies and removes redundant AI-generated comments, verbose patterns, and unnecessary abstractions to maintain a high-quality codebase.

Skill Creator

Facilitates the creation and optimization of modular Claude Code skills through best practices, structured anatomy, and context-efficient design patterns.

Skill Specification Framework

Standardizes agent capabilities for seamless compatibility across Claude Code, Cursor, Codex, and other AI development environments.

Git Commit Helper

Generates standardized, descriptive git commit messages by analyzing staged changes using the Conventional Commits format.

TMUX-Aware Process Manager

Manages background services and terminal processes within organized TMUX sessions to keep your workspace clean.

Zig Development

Writes high-quality, performant, and memory-safe Zig code following modern best practices and strict documentation standards.

Skill Developer

Facilitates the creation, management, and debugging of specialized Claude Code skills following Anthropic's official best practices and architectural patterns.

Git Worktree Manager (WM)

Streamlines Git worktree management by automating the creation, synchronization, and cleanup of isolated development environments.

Opal Frontend Development Guide

Standardizes Angular development, testing, and contribution workflows for the Opal project repository.

HyLang Emacs IDE

Integrates Hylang into Emacs with full LSP support, interactive REPLs, and deterministic categorical sexp coloring.

Skill Extractor

Analyzes and extracts reusable components from Claude Code commands and agents into properly structured, modular skills.

Hatchery Index

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

CPython Build & Test Suite

Streamlines the process of compiling CPython from source, managing Argument Clinic, and executing the internal regression test suite.

OCaml OPAM Toolchain

Manages OCaml development environments, package dependencies, and Dune build systems with specialized constraint verification.