developer tools向けのClaudeスキルを発見してください。177個のスキルを閲覧し、AIワークフローに最適な機能を見つけましょう。
Facilitates Aptos blockchain operations and triadic coordination logic for decentralized topological systems.
Manages OCaml development environments, package dependencies, and compiler switches via the OPAM package manager.
Standardizes AI reasoning and execution chains to make every decision and step visible during the development process.
Quotients redundant skill paths and merges behavioral equivalences using category-theoretic colimits to optimize complex AI workflows.
Master version control with expert guidance on branching strategies, conflict resolution, and collaborative development best practices.
Streamlines the discovery, exploration, and implementation of Scheme Requests for Implementation (SRFI) for the Scheme programming language.
Master ES6+ syntax and functional programming techniques to write clean, maintainable, and performant JavaScript code.
Standardizes Next.js 15 development by applying best practices for App Router architecture, Server Components, and data fetching.
Executes lightweight Clojure scripts instantly without the overhead of JVM startup for rapid automation.
Retrieves and exports Claude process IDs and session identifiers for use in automated scripts and process management.
Implements a higher-dimensional observational type theory proof assistant for formal verification and complex mathematical modeling.
Builds resilient applications using advanced error handling strategies, Result types, and fault-tolerant architectural patterns.
Facilitates type-safe navigation and parallel composition across product structures like tuples, records, and named tuples.
Transforms and preserves semantic structures across diverse programming contexts and formal systems using triadic logic.
Orchestrates distributed Model Context Protocol (MCP) servers using a balanced tripartite structure to ensure computational coherence.
Enhances Emacs development workflows with multi-model LLM integration, agent protocols, and intelligent shell automation.
Facilitates interactive proof development using typed holes within the Narya proof assistant.
Optimizes repository management through interactive rebasing, automated bug discovery, and complex history recovery techniques.
Simplifies systems programming in Zig by providing patterns for explicit memory management, build systems, and C interoperability.
Generates comprehensive repository context bundles and code maps to help AI and developers understand complex project structures instantly.
Optimizes high-frequency event handling through standardized debounce and throttle implementation patterns.
Facilitates fault-tolerant P2P file transfers using triple-redundant subagents across Tailscale, LAN, and DNS channels.
Executes GNU Scheme scripts to enable high-level functional programming and topological graph analysis.
Manages Aptos blockchain interactions, wallet operations, and decentralized exchange integrations through the Model Context Protocol.
Improves code quality and maintainability by identifying architectural smells and applying industry-standard refactoring patterns.
Navigates and recombines skill graphs using deterministic random walks to discover novel, reproducible concept-blending paths.
Generates production-ready Vue 3 components using Composition API, TypeScript, and modern architectural patterns.
Interact with the Aptos blockchain through natural language using game-theoretic analysis and secure Move contract execution.
Guides the creation and authoring of well-structured Agent Skills for AI coding assistants.
Manages high-performance Python packaging and linting for the DiscoHy Thread Operad system using uv and ruff.
Scroll for more results...