Discover Agent Skills for developer tools. Browse 177 skills for Claude, ChatGPT & Codex.
Optimizes Neovim startup performance by profiling plugins and implementing strategic lazy-loading configurations.
Implements systematic refactoring techniques to improve code maintainability and performance while preserving core functionality.
Manages OCaml development environments, package dependencies, and compiler switches via the OPAM package manager.
Executes lightweight Clojure scripts instantly without the overhead of JVM startup for rapid automation.
Implements a higher-dimensional observational type theory proof assistant for formal verification and complex mathematical modeling.
Automates comprehensive GitHub operations including branch management, semantic commits, and pull request orchestration via the GitHub CLI.
Transforms and preserves semantic structures across diverse programming contexts and formal systems using triadic logic.
Replaces standard Git workflows with Jujutsu (jj) for more efficient, commit-centric version control and history management.
Guides the selection and implementation of specialized ClojureScript runtimes for scripts, browsers, and embedded environments.
Automates the linking of internal dependencies within monorepos across pnpm, yarn, npm, and bun.
Manages Aptos blockchain interactions, wallet operations, and decentralized exchange integrations through the Model Context Protocol.
Simplifies systems programming in Zig by providing patterns for explicit memory management, build systems, and C interoperability.
Facilitates interactive proof development using typed holes within the Narya proof assistant.
Enhances Emacs development workflows with multi-model LLM integration, agent protocols, and intelligent shell automation.
Discovers, installs, and manages third-party agent skills from the open skills.sh ecosystem to extend Claude Code capabilities.
Manages and links internal workspace dependencies within monorepos across pnpm, npm, yarn, and bun.
Diagnoses and auto-repairs the health and integrity of Claude Code plugins and workspace configurations.
Executes GNU Scheme scripts to enable high-level functional programming and topological graph analysis.
Facilitates fault-tolerant P2P file transfers using triple-redundant subagents across Tailscale, LAN, and DNS channels.
Orchestrates complex system structures using polynomial monoidal category theory and universal Kan extensions.
Interact with the Aptos blockchain through natural language using game-theoretic analysis and secure Move contract execution.
Standardizes JavaScript and TypeScript development using modern ES6+ patterns, strict type safety, and React/Node.js best practices.
Navigates and recombines skill graphs using deterministic random walks to discover novel, reproducible concept-blending paths.
Implements Hedges' 4-kind lattice and GF(3) correspondence for advanced bidirectional programming and state synchronization.
Pushes Git branches to remote repositories with automated safety checks and protected branch enforcement.
Implements computational mechanics to prevent agent actions unless minimal sufficient skill coverage is verified.
Provides comprehensive guidance for developing, configuring, and troubleshooting Claude Code plugins and skills.
Manages and automates the linking of internal dependencies between packages within monorepo workspaces.
Orchestrates parallel skill execution by fanning out user interactions into deterministic triadic workflows based on interaction entropy.
Applies modern Ruby idioms and design patterns to create clean, maintainable, and performant codebases.
Scroll for more results...