Agent skills

Other skills

Read straight from the source repositories, not from submitted listings. Every skill shows what it does, what is inside, where it came from — and whether attention around its source is actually growing.

Toolclaude-code 29,140codex 4,755cursor 3,111copilot 976windsurf 55cline 34
CategoryWorkflow & Productivity 4,979AI & Agents 3,037Data & Analytics 2,345Code Review & Quality 1,376Backend & API 1,244Security 1,194Design & Presentation 1,154Documentation 965Content & Marketing 916Testing & QA 777DevOps & Cloud 576Databases 550Frontend 469Business & Finance 328Media & Video 257Other 9,833
21,420 found
4,2254,272 · page 89 / 447
proof-theoryProblem-solving strategies for proof theory in mathematical logicmajiayu000writesproof-trace-summarizerSummarize long Isabelle or Coq proof scripts into high-level logical steps and reasoning flow. Use when users need to: (1)…majiayu000proof-weighted-optimizationOptimize decisions using proof-weighted scoring.majiayu000proof-writerWrites rigorous mathematical proofs for ML/AI theory. Use when asked to prove a theorem, lemma, proposition, or corollary, fill…majiayu000writesproof-writerWrites rigorous mathematical proofs for ML/AI theory. Use when asked to prove a theorem, lemma, proposition, or corollary, fill…majiayu000proofgeneral-naryaProof General + Narya: Higher-dimensional type theory proof assistant with observational bridge types for version control.majiayu000propagatorsSussman/Radul propagator networks for constraint propagation and bidirectionalmajiayu000propositional-logicThe logic of sentential connectives -- and, or, not, if-then, if-and-only-if -- as a formal system. Covers syntax (well-formed…majiayu000bio-proteomics-protein-inferenceProtein grouping and inference from peptide identifications. Use when resolving protein ambiguity from shared peptides. Handles…majiayu000protobuf-grpc-designerProtocol Buffers and gRPC service definition with backward compatibility checksa5c-aiwritesprotocol-analyzerSerial protocol analysis and debugging for common embedded interfaces (I2C, SPI, UART)a5c-aiwritesprotocolK-lines as semantic activation — the name activates the tradition.majiayu000proveFormal theorem proving with research, testing, and verification phasesmajiayu000writespubfi-crypto-daily-reportAggregates crypto news from multiple sources and generates curated daily markdown reports with automated scoring and…majiayu000pubfi-crypto-project-researchGenerate professional, evidence-backed research reports for crypto projects.majiayu000pubfi-wallet-portfolio-analysisAnalyze EVM wallet asset distribution and identify high-risk protocol exposure.majiayu000crabwalkReal-time companion monitor for OpenClaw agentsmajiayu000pubmed-export-citations├── EndNote/Zotero/Mendeley → prepareexport(pmids="last", format="ris")majiayu000pubmed-fulltext-access透過 Europe PMC、CORE 等開放取用來源取得論文全文,包含 PDF 連結和全文內容。majiayu000pubmed-gene-drug-research使用 NCBI 擴展資料庫(Gene、PubChem、ClinVar)進行基因功能、藥物化合物、遺傳變異的跨資料庫研究。majiayu000pubmed-multi-source-search整合 PubMed、Europe PMC、CORE、Semantic Scholar、OpenAlex 等多個學術資料庫,進行全面的跨來源搜尋。majiayu000pubmed-pico-search針對 PICO 格式的臨床問題進行結構化搜尋,自動解析 Population, Intervention, Comparison, Outcome 元素。majiayu000pubmed-systematic-search使用 MeSH 詞彙擴展和同義詞來執行完整的系統性搜尋,適合文獻回顧或需要全面涵蓋的研究。majiayu000pulseDynamic, vibrant style with thick borders, geometric shapes, high-contrast colors, and expressive typography conveying motion and…bergsidepuzzleBuild a puzzle game: grid/board state, move input, rule-based resolution (match-3 cascades, sokoban pushes, tile logic), scoring…gamedev-skillspydeseq2Differential gene expression analysis (Python DESeq2). Identify DE genes from bulk RNA-seq counts, Wald tests, FDR correction…majiayu000pydeseq2Differential gene expression analysis (Python DESeq2). Identify DE genes from bulk RNA-seq counts, Wald tests, FDR correction…majiayu000pydeseq2差异基因表达分析(Python DESeq2)。从bulk RNA-seq计数中识别差异表达基因,Wald检验,FDR校正,火山图/MA图,用于RNA-seq分析。majiayu000pydicom-medical-imagingPure Python DICOM for medical imaging (CT, MRI, X-ray, ultrasound). Read/write DICOM, pixels as NumPy, edit tags, windowing (VOI…BioTender-maxpygame-coreStructure a pygame (pygame-ce) game in Python: the init/event/update/draw loop, delta-time movement, Surface/Rect blitting…gamedev-skillspymatgenMaterials science toolkit. Crystal structures (CIF, POSCAR), phase diagrams, band structure, DOS, Materials Project integration…majiayu000pymatgenMaterials science toolkit. Crystal structures (CIF, POSCAR), phase diagrams, band structure, DOS, Materials Project integration…majiayu000pymcBayesian modeling with PyMC. Build hierarchical models, MCMC (NUTS), variational inference, LOO/WAIC comparison, posterior…majiayu000pymcBayesian modeling with PyMC. Build hierarchical models, MCMC (NUTS), variational inference, LOO/WAIC comparison, posterior…majiayu000pymc-bayesian-modelingBayesian modeling with PyMC. Build hierarchical models, MCMC (NUTS), variational inference, LOO/WAIC comparison, posterior…majiayu000pysam基因组文件工具包。读写SAM/BAM/CRAM比对文件、VCF/BCF变异文件、FASTA/FASTQ序列,提取区域,计算覆盖度,用于NGS数据处理管道。majiayu000python-configurationPython configuration management via environment variables and typed settings. Use when externalizing config, setting up…wshobsonpython-error-handlingPython error handling patterns including input validation, exception hierarchies, and partial failure handling. Use when…wshobsonpython-observabilityPython observability patterns including structured logging, metrics, and distributed tracing. Use when adding logging…wshobsonpython-packagingComprehensive guide to creating, structuring, and distributing Python packages using modern packaging tools, pyproject.toml, and…sickn33python-resiliencePython resilience patterns including automatic retries, exponential backoff, timeouts, and fault-tolerant decorators. Use when…wshobsonpython-resource-managementPython resource management with context managers, cleanup patterns, and streaming. Use when managing connections, file handles…wshobsonpython-scientific-computingPython for engineering analysis, numerical computing, and scientific workflows using NumPy, SciPy, SymPymajiayu000python-sdk-specialistPython SDK development with async support and type hintsa5c-aiwritespython-type-safetyPython type safety with type hints, generics, protocols, and strict type checking. Use when adding type annotations, implementing…wshobsonpytorch-geometricLibrary for Graph Neural Networks (GNNs). Covers MessagePassing layers, modular aggregation schemes, and handling large graphs…majiayu000QE Code IntelligenceKnowledge graph-based code understanding with semantic search and 80% token reduction through intelligent context retrieval.majiayu000QE Code IntelligenceKnowledge graph-based code understanding with semantic search and 80% token reduction through intelligent context retrieval.majiayu000
← Prev89 / 447Next →
How the catalog works
What is an agent skill?

A folder with a SKILL.md inside — instructions, and often scripts and assets, that an AI agent loads when the task matches. Claude Code, Codex, Cursor and Copilot all read the same format, so one skill usually works across them.

Where does this catalog come from?

We read 660 source repositories straight from their file trees rather than from submitted listings — what you see is what is actually published. 98 repositories were rejected because they advertise skills but contain none: link lists, not folders.

Why is there no install counter?

Because install counts live in the registry that serves `npx skills add`, and that is not ours — publishing a number we cannot verify would be worse than showing none. Instead we show where a skill comes from and whether attention around its source is actually growing, measured from our own weekly snapshots.

Do you deduplicate?

Yes, and it matters more than expected. Aggregator repositories republish the same skill in several places — one source carried 6,317 SKILL.md files for 2,001 actual skills. We collapse by folder name and keep the canonical copy, so the catalog counts things, not copies.

Keep going