Skills.
Give your AI a better way to work.
A skill is a set of written instructions that teaches an AI how to do one job the way it should be done: review a pull request, plan a migration, write the release notes.
Install one here and it travels with your account into Claude, Claude Code, Cursor and every other client you sign in with.
Category: Docs & knowledge
4,535 results · page 60 of 152
- View details
code-change-summarizerSkillDocs & knowledge
Generates clear and structured pull request descriptions from code changes. Use when Claude needs to: (1) Create PR descriptions from git diffs or code changes, (2) Summarize what changed and why, (3) Document breaking changes with migration guides, (4) Add technical details and design decisions, (5
Ready to connect★ 252
- View details
code-comment-generatorSkillDocs & knowledge
Generates meaningful comments and documentation for code to improve maintenance and readability. Use when adding documentation to Python or Java code, including function/method docstrings, class documentation, inline explanations for complex logic, and code annotations (TODO, FIXME). Analyzes existi
Ready to connect★ 252
- View details
interval-profiling-performance-analyzerSkillDocs & knowledge
Profile programs at the function/method level to identify performance hotspots, bottlenecks, and optimization opportunities. Records execution time, memory usage, and call frequency for each interval. Generates actionable recommendations and visualizations. Use when users need to (1) analyze program
Ready to connect★ 252
- View details
issue-report-generatorSkillDocs & knowledge
Automatically generate clear, actionable issue reports from failing tests and repository analysis. Analyze test failures to understand expected vs. actual behavior, identify affected code components, and produce well-structured Markdown reports suitable for GitHub Issues or similar trackers. Use whe
Ready to connect★ 252
- View details
legacy-code-summarizerSkillDocs & knowledge
Produces comprehensive summaries and insights about legacy codebases to help understand unfamiliar code. Use when onboarding to a new project, planning refactoring efforts, assessing code for acquisition/migration, or generating documentation for undocumented systems. Analyzes architecture, dependen
Ready to connect★ 252
- View details
markdown-document-structurerSkillDocs & knowledge
Reorganizes markdown documents into well-structured, consistent format while preserving content and improving readability. Use when Claude needs to: (1) Fix heading hierarchy issues (skipped levels, multiple h1s), (2) Generate or update table of contents, (3) Standardize formatting (lists, code bloc
Ready to connect★ 252
- View details
proof-carrying-code-generatorSkillDocs & knowledge
Generate executable code together with formal proofs certifying safety and correctness properties in Isabelle/HOL or Coq. Use when building verified software, safety-critical systems, or when formal guarantees are required. Produces code with accompanying proofs for memory safety, bounds checking, f
Ready to connect★ 252
- View details
proof-refactoring-assistantSkillDocs & knowledge
Restructure and improve Isabelle or Coq proofs to enhance readability, modularity, and maintainability without changing semantics. Use when proofs are long and monolithic, have repeated patterns, use unclear naming, lack documentation, or when the user asks to refactor, clean up, improve, or reorgan
Ready to connect★ 252
- View details
proof-trace-summarizerSkillDocs & knowledge
Summarize long Isabelle or Coq proof scripts into high-level logical steps and reasoning flow. Use when users need to: (1) Understand the structure of a complex proof, (2) Document proof strategies for others, (3) Extract the key reasoning steps from verbose proof scripts, (4) Create readable proof
Ready to connect★ 252
- View details
reference-searcherSkillDocs & knowledge
Systematic external reference searching across documentation, open-source repositories, and web resources. Use when working with unfamiliar libraries, APIs, or when needing production-quality implementation examples.
Ready to connect★ 252
- View details
release-notes-writerSkillDocs & knowledge
Automatically generate user-facing release notes from git commits, pull requests, changelogs, and code changes. Use when preparing software releases, creating version announcements, documenting what changed between versions, or communicating updates to users. Analyzes commit messages, PR description
Ready to connect★ 252
- View details
requirement-comparison-reporterSkillDocs & knowledge
Compares old and new requirement documents, analyzes code repository impact, and generates detailed modification plans. Use when Claude needs to: (1) Compare requirement versions and identify changes, (2) Map requirement changes to code components, (3) Identify components to modify, delete, or add,
Ready to connect★ 252
- View details
requirement-coverage-checkerSkillDocs & knowledge
Verify that design documents, code implementations, and tests fully cover all specified requirements. Use this skill when validating requirement traceability, conducting design reviews, assessing implementation completeness, checking test coverage against requirements, performing compliance audits,
Ready to connect★ 252
- View details
requirement-summarizerSkillDocs & knowledge
Extract and summarize core features, constraints, and priorities from requirement documents. Use when analyzing PRDs, RFCs, business requirements, user stories, epics, or any requirement documentation to identify must-have features, technical constraints, priority levels (P0/P1/P2/MoSCoW), and key d
Ready to connect★ 252
- View details
requirement-summarySkillDocs & knowledge
Generate concise, structured summaries of requirements for quick team understanding. Use when analyzing requirements from text documents (MD, TXT, DOCX) or technical specifications to create bullet-point summaries that highlight core functionality and dependencies/constraints. Ideal for sprint plann
Ready to connect★ 252
- View details
requirement-to-tlaplus-property-generatorSkillDocs & knowledge
Automatically derives TLA+ properties (invariants, safety, liveness) from natural-language requirements or structured requirement documents. Resolves ambiguities, asks clarifying questions for underspecified requirements, and outputs TLA+-compatible property definitions with semantic explanations. U
Ready to connect★ 252
- View details
semantic-bug-detectorSkillDocs & knowledge
Detect semantic-level bugs by analyzing whether code behavior matches its intended purpose inferred from function/variable names, comments, docstrings, and documentation. Use when users need to: (1) Find logic errors where implementation contradicts stated intent, (2) Identify off-by-one errors and
Ready to connect★ 252
- View details
delphi-leak-auditSkillDocs & knowledge
Investigate (and optionally fix) memory leaks in the Delphi/Object Pascal units of this project (WPP4Delphi) — Create without Free, object fields missing from the destructor, TJSONObject/TStringList from parsing not freed, orphaned VCL components, lists that reassign without freeing the previous ins
Ready to connect★ 250
- View details
review-rfcSkillDocs & knowledge
Review an Incan RFC document for formatting, structural, and content issues before GitHub submission. Use when the user asks to review an RFC, check an RFC for problems, prepare an RFC for submission, or says /review-rfc.
Ready to connect★ 250
- View details
write-rfcSkillDocs & knowledge
Draft a new RFC document for the Incan language project. Use when the user asks to write, create, or draft an RFC, or wants to propose a new language feature or infrastructure change for Incan.
Ready to connect★ 250
- View details
100-day-planSkillDocs & knowledge
Design and document a 100 day plan with structured process, quality checks, and system integration
Ready to connect★ 244
- View details
academic-paper-reviewerSkillDocs & knowledge
A Turkish-language professional operating system for Claude Code — 10 expert agents, 22 commands, 993 skills, 6-layer memory
Ready to connect★ 244
- View details
ai-adoption-planSkillDocs & knowledge
Design and document a ai adoption plan with structured process, quality checks, and system integration
Ready to connect★ 244
- View details
ai-content-pipelineSkillDocs & knowledge
Design and document a ai content pipeline with structured process, quality checks, and system integration
Ready to connect★ 244
- View details
ai-debugging-workflowSkillDocs & knowledge
Design and document a ai debugging workflow with structured process, quality checks, and system integration
Ready to connect★ 244
- View details
ai-editing-workflowSkillDocs & knowledge
Design and document a ai editing workflow with structured process, quality checks, and system integration
Ready to connect★ 244
- View details
ai-image-workflowSkillDocs & knowledge
Design and document a ai image workflow with structured process, quality checks, and system integration
Ready to connect★ 244
- View details
ai-meeting-notesSkillDocs & knowledge
Create a ai meeting notes with structured process, quality checks, and system integration
Ready to connect★ 244
- View details
ai-pair-programmingSkillDocs & knowledge
Design and document a ai pair programming with structured process, quality checks, and system integration
Ready to connect★ 244
- View details
ai-research-workflowSkillDocs & knowledge
Design and document a ai research workflow with structured process, quality checks, and system integration
Ready to connect★ 244
What is a skill?
A skill is plain text, usually a SKILL.md file and the scripts it refers to, written for an AI rather than for a person. It carries the steps, the house rules and the examples a good answer needs, so you stop pasting the same briefing into every new chat.
54,764 of the 55,196 skills listed here can be served through ahel today, and they come from public repositories. Each one has its own page with the instructions themselves on it, so you can read what a skill will tell your AI to do before you install it.
Install one and every AI you use gets it
Installing a skill adds it to your gateway and turns it on in the same step. Claude Code surfaces it as a slash command; any client can read the full instructions with the skill_read tool.
Nothing is copied into a project folder. The instructions are served from your account, so the same skill is there in every AI you connect, and turning it off removes it from all of them at once.