Developer Tools Claude 技能

Semantic Git Commit

Automates the git workflow by creating conventional commits, staging files, and pushing changes to remote repositories.

ClojureScript Runtime Selector

Optimizes ClojureScript development by providing expert guidance on selecting the ideal runtime for scripts, browsers, and embedded environments.

Claude Code Plugin Builder

Streamlines the creation of custom Claude Code components using standardized templates and automated validation scripts.

Rust Development Ecosystem

Manages the complete Rust lifecycle including compilation, package management, linting, and code formatting.

Code Refactoring Master

Improves code quality and maintainability by identifying architectural smells and applying industry-standard refactoring patterns.

Neovim Lazy.nvim Optimizer

Optimizes Neovim startup performance by profiling plugins and implementing strategic lazy-loading configurations.

SRFI Scheme Extensions

Streamlines the discovery, exploration, and implementation of Scheme Requests for Implementation (SRFI) for the Scheme programming language.

Coequalizer Skill Composition

Quotients redundant skill paths and merges behavioral equivalences using category-theoretic colimits to optimize complex AI workflows.

Bob Aptos & Triadic Coordination

Facilitates Aptos blockchain operations and triadic coordination logic for decentralized topological systems.

Emacs Ecosystem Integration

Empowers Claude to navigate, configure, and automate the complete Emacs ecosystem from Elisp development to Org-mode documentation.

DMAP Plugin Developer

Automates the end-to-end creation of DMAP-standard plugins using a structured 4-phase multi-agent development workflow.

Dmap External Skill Remover

Automates the safe removal of external plugin integrations and their associated documentation from dmap-based agent systems.

React Performance & Best Practices Audit

Audits React and Next.js applications using 57 Vercel-inspired rules to eliminate performance bottlenecks and optimize rendering.

OPAM OCaml Development

Manages OCaml development environments, package dependencies, and compiler switches via the OPAM package manager.

Find Skills Manager

Discovers, installs, and manages third-party agent skills from the open skills.sh ecosystem to extend Claude Code capabilities.

Babashka Clojure Scripting

Executes lightweight Clojure scripts instantly without the overhead of JVM startup for rapid automation.

Narya Hatchery

Implements a higher-dimensional observational type theory proof assistant for formal verification and complex mathematical modeling.

Information Reflow & Context Translation

Transforms and preserves semantic structures across diverse programming contexts and formal systems using triadic logic.

Borkdude: ClojureScript Runtime Selection

Guides the selection and implementation of specialized ClojureScript runtimes for scripts, browsers, and embedded environments.

Aptos Wallet MCP

Manages Aptos blockchain interactions, wallet operations, and decentralized exchange integrations through the Model Context Protocol.

Zig Systems Programming

Simplifies systems programming in Zig by providing patterns for explicit memory management, build systems, and C interoperability.

AI Architecture Facilitator

Facilitates collaborative architectural decisions and generates documentation to ensure consistency across AI-agent development teams.

Narya Typed Holes

Facilitates interactive proof development using typed holes within the Narya proof assistant.

Xenodium Emacs AI Suite

Enhances Emacs development workflows with multi-model LLM integration, agent protocols, and intelligent shell automation.

Iterative Code Exploration

Systematically maps and deciphers unfamiliar codebases using a progressive 4-phase refinement loop.

Guile Scheme Scripting

Executes GNU Scheme scripts to enable high-level functional programming and topological graph analysis.

Trifurcated P2P Transfer

Facilitates fault-tolerant P2P file transfers using triple-redundant subagents across Tailscale, LAN, and DNS channels.

CatSharp Categorical Coordinator

Orchestrates complex system structures using polynomial monoidal category theory and universal Kan extensions.

GitHub Source Control Handler

Automates comprehensive GitHub operations including branch management, semantic commits, and pull request orchestration via the GitHub CLI.

Aptos Blockchain Agent

Interact with the Aptos blockchain through natural language using game-theoretic analysis and secure Move contract execution.