Developer Tools Agent Skills

HyperShift Azure Provider

Guides the deployment of self-managed HyperShift clusters on Microsoft Azure with proper identity and resource configuration.

Codex AI Coding Assistant

Executes complex code analysis, large-scale refactoring, and automated code generation using the Codex CLI.

Skill Creator

Guides the development of high-quality, efficient Claude Code Skills using best practices for modularity and context management.

Claude Skill Template

Provides a standardized boilerplate and structural foundation for creating custom Claude Code skills.

Skill Creator

Builds modular, effective skills to extend Claude's capabilities with specialized knowledge and workflows.

Lean Toolchain Bisect

Pinpoints specific Lean 4 toolchain versions or commits where code behavior changed or regressions occurred using automated bisection.

Lean 4 Repository Setup

Configures and builds Lean 4 repository clones with automated toolchain linking and test management.

Mathlib Build Manager

Streamlines the build process for Lean's Mathlib library by managing caches and optimizing Lake build commands for AI efficiency.

Codex

Integrates high-reasoning OpenAI models directly into the terminal to solve complex architectural challenges and advanced coding tasks.

Serena MCP Project Integration

Integrates Serena MCP into software projects to provide IDE-like semantic code understanding and advanced navigation.

Subagent Context Template

Standardizes subagent orchestration by utilizing forked contexts and optimized system prompts for high-precision tasks.

Systematic Debugging

Resolves complex software defects using structured methodologies like hypothesis testing, agent-assisted code tracing, and targeted logging.

Gemini AI Assistant

Invokes the Google Gemini CLI to perform advanced reasoning, web-enabled research, and specialized code optimization tasks.

GitHub PR & Versioning

Streamlines the end-to-end process of committing code, versioning, and opening pull requests via GitHub.

Resource Scout

Searches and discovers Claude Code skills and Model Context Protocol (MCP) servers across various registries, marketplaces, and GitHub repositories.

Ask Codex

Integrates the local Codex CLI into Claude to provide automated code generation, debugging assistance, and secondary AI analysis.

Ask Copilot CLI

Integrates GitHub Copilot's command-line interface into Claude for advanced code generation, debugging, and multi-model assistance.

LSP Integration Expert

Enables semantic code understanding and advanced navigation across multiple programming languages using the Language Server Protocol.

Agent Skills Exporter

Converts SpecWeave skills into the Agent Skills open standard for seamless portability across GitHub Copilot, Cursor, and Gemini CLI.

Code Simplifier

Refines and simplifies codebases for enhanced clarity and maintainability without altering original functionality.

Dignified Python

Enforces explicit, predictable Python 3.13+ coding standards with a focus on LBYL exception handling and clear error boundaries.

CommonTools Pattern Developer

Develops reactive TypeScript patterns with interactive UIs using the CommonTools framework and cell-based state system.

AI Skills Manager

Manages, audits, and migrates AI skills across Claude Code and other leading AI coding agents to optimize developer workflows.

GitHub Operations Expert

Manages GitHub issues, pull requests, and repository data using advanced GitHub CLI commands and API integration.

Ruby Version Manager

Detects and configures Ruby version managers to ensure consistent development environments across Claude Code sessions.

CLI UX Implementation Patterns

Implements professional CLI user interfaces with standardized output formatting, progress tracking, and interactive terminal prompts.

TypeScript Code Quality & Review Patterns

Enforces high-quality TypeScript patterns, type safety, and functional programming principles for production-grade applications.

Git Worktree Isolation

Automates the creation and management of isolated Git worktrees for clean, concurrent development environments.

Conventional Git Commits

Automates the creation of standardized, conventional commit messages by analyzing staged code changes.

Adapter Validator

Validates AI agent adapter files against live platform documentation to detect stale mappings and automate updates.