Developer Tools Agent Skills

Babashka Clojure Scripting

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

Next.js Page Generator

Generates production-ready Next.js pages using the App Router, Server Components, and modern data-fetching patterns.

Skill Quality Checker

Validates and reviews Claude Code skills against official specifications to ensure high quality, proper syntax, and discoverability.

DeFi Protocol Templates

Implements production-ready DeFi protocol templates for staking, liquidity pools, and decentralized governance.

OPAM OCaml Development

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

Skillstash Management

Manages the full lifecycle of Claude Code skills within a structured repository, including creation, validation, and standardized deployment workflows.

Skill Writer

Guides the creation and authoring of well-structured Agent Skills for AI coding assistants.

Import Organizer

Automatically sorts and groups import statements across multiple programming languages to maintain clean and readable codebases.

Narya Hatchery

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

OCaml Package Management (OPAM)

Manages OCaml packages, compiler switches, and project environments to streamline functional programming workflows.

System Architecture Reviewer

Evaluates software designs and implementations for modularity, separation of concerns, and adherence to architectural patterns.

React useEffect Optimizer

Optimizes React components by identifying and replacing unnecessary useEffect hooks with efficient architectural patterns.

ShellCheck Quality & Linting

Optimizes shell script integrity and portability through expert ShellCheck static analysis configuration and implementation.

Narya Typed Holes

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

Trifurcated P2P Transfer

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

Guile Scheme Scripting

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

Xenodium Emacs AI Suite

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

Dependency Upgrade Master

Orchestrates complex software dependency updates and framework migrations using structured compatibility analysis and staged rollout strategies.

CatSharp Categorical Coordinator

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

Zig Systems Programming

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

Gabb Code Navigation

Optimizes code exploration by providing structured previews of large files to reduce token usage and improve navigation efficiency.

Aptos Blockchain Agent

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

UV-DiscoHy Python Toolchain

Manages high-performance Python packaging and linting for the DiscoHy Thread Operad system using uv and ruff.

Finish Development Branch

Streamlines the final steps of a coding task by verifying tests, managing git merges, and automating pull request creation.

Codex Task Delegate

Delegates complex multi-file implementation tasks to a specialized Codex agent within a dual-agent development environment.

Random Walk Fusion

Navigates and recombines skill graphs using deterministic random walks to discover novel, reproducible concept-blending paths.

Aptos Wallet MCP

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

Python Performance Optimizer

Profiles and optimizes Python code to eliminate bottlenecks, reduce memory usage, and improve execution speed.

Squint ClojureScript Runtime

Compiles ClojureScript to lightweight, native JavaScript with minimal runtime overhead for high-performance web development.

Dynamic Sufficiency Gatekeeper

Implements computational mechanics to prevent agent actions unless minimal sufficient skill coverage is verified.