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,436 results · page 59 of 148
- 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
editable-figureSkillDocs & knowledge
Analyze source material, find relevant paper, README, or awarded-proposal references, and design concise figures as editable PowerPoint objects. Use for overview, mechanism, workflow, or hero figures when an editable PPTX is wanted, including simplifying dense drafts and combining a schematic with a
Ready to connect★ 244
- 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
- View details
ai-strategySkillDocs & knowledge
Design and document a ai strategy with structured process, quality checks, and system integration
Ready to connect★ 244
- View details
ai-training-programSkillDocs & knowledge
Design and document a ai training program with structured process, quality checks, and system integration
Ready to connect★ 244
- View details
ai-transcription-workflowSkillDocs & knowledge
Design and document a ai transcription workflow with structured process, quality checks, and system integration
Ready to connect★ 244
- View details
ai-translation-workflowSkillDocs & knowledge
Design and document a ai translation workflow with structured process, quality checks, and system integration
Ready to connect★ 244
- View details
ai-voice-workflowSkillDocs & knowledge
Design and document a ai voice 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.
53,462 of the 53,895 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.