Developer

Find developer tool skills for Claude Code, Cursor, and other AI agents. Automate coding, debugging, refactoring, and project workflows.

This directory brings installable AI Agent skills into one place so you can filter by search, category, topic, and official source, then install them directly into Claude Code, Cursor, Windsurf, and other supported environments.

LIVE

1639

Available Skills

1639 available skills

lean-array-list

kim-em

lean-array-list is a skill that provides proof patterns for ByteArray, Array, and List indexing in Lean 4, enabling efficient data manipulation.

★ 38

⑂ 0

Developer

repomatic-audit

kdeldycke

🏭 Automate repository maintenance, releases, and CI/CD workflows

★ 36

⑂ 0

Productivity

documentation-criteria

shinpr

Agentic coding framework powered by AGENTS.md — systematic, test-first workflows with quality gates for Cursor, Codex, Gemini CLI, and AI coding agents.

★ 35

⑂ 0

Productivity

ai-development-guide

shinpr

Agentic coding framework powered by AGENTS.md — systematic, test-first workflows with quality gates for Cursor, Codex, Gemini CLI, and AI coding agents.

★ 34

⑂ 0

Productivity

clack-guidelines

powroom

Universal skill installer for AI coding agents

★ 34

⑂ 0

zireael-header-layering

RtlZeroMemory

zireael-header-layering is a deterministic terminal UI core engine in C, utilizing FFI/ABI backend for Rezi, designed for efficient and cross-platform development.

★ 34

⑂ 0

Design

dmtools

IstiN

dmtools is an AI-powered development toolkit that integrates with multiple platforms to provide automation capabilities.

★ 33

⑂ 0

Developer

product-spec

benjaminshoemaker

A structured prompt framework for building software products with AI coding assistants. This toolkit guides you through product specification, technical design, and implementation planning—producing documents that AI agents can execute against.