Developer Tools Agent Skills

Hatchery Index

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

TIDAR Correct-by-Construction

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

Clojure ASI Dev Tools

Facilitates advanced Clojure development through REPL evaluation, namespace mutation, and hot-reload coherence.

Git PR Creator

Automates the creation of pull requests by generating concise summaries and handling branch management using GitHub CLI.

Git Worktree Manager (WM)

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

Derangement Reflow Control

Optimizes agentic workflows by enforcing derangement constraints to prevent circular validation and ensure healthy information flow.

Type Checker

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

Technical Research & Code Discovery

Conducts deep technical research using real-world GitHub implementations and high-quality web documentation to provide evidence-based recommendations.

Opal Frontend Development Guide

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

Category Theory Algebraic Patterns

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

Skill Extractor

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

Bifunctor Bridge

Simplifies the implementation of two-argument functors for product categories in functional programming environments.

Aptos Blockchain Operations (Alice)

Enables seamless Aptos blockchain interactions and transaction management using triadic coordination and specialized MCP tools.

CPython Build & Test Suite

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

Skill Specification Framework

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

Specter Navigator Gadget

Simplifies complex data structure traversal and transformation using bidirectional path compilation and 3-SAT constraint verification.

Bidirectional Proof Navigator

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

Directed Yoneda Induction

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

Servo-Ghostty Web Terminal

Integrates the Servo browser engine with ghostty-web to deliver high-performance, full-color terminal tiles using CSS Grid and GPU acceleration.

Git Bisect Debugging

Systematically identifies the specific commit that introduced a bug or regression using a structured git bisect workflow.

Free Monad Generator

Generates pure functional structures and domain-specific languages from functor signatures using Free and Freer monad 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.

ClojureScript Runtime Selector

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

WezTerm Configuration Assistant

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

Codex Refactor

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

Vim-AI Config Manager

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

Skill Creator

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

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.