Agent skills you can check before you install
Public SKILL.md skills from GitHub repositories with 50+ stars and from the vendors themselves, scanned and scored. Install any of them with one command in Claude Code, Cursor, Codex, GitHub Copilot or Gemini CLI.
46,095 skills from 2,198 repositories · updated 45 seconds ago
9,543 skills
- pareto-optimizationcxcscmu/SkillLearnBenchMulti-objective optimization with Pareto frontiers for finding trade-off solutions between conflicting objectives.OtherNo warnings★ 91↓ —
- json-parsercxcscmu/SkillLearnBenchParsing JSON input files for structured data extraction.OtherNo warnings★ 91↓ —
- search-engine-expertroedyrustam/vibes-plugExpert guide for full-text search engines (Typesense, Meilisearch, Elasticsearch), faceted search, and autocomplete / Panduan ahli mesin pencarian full-text (Typesense, Meilisearch, Elasticsearch), pencarian berfaset, dan autocomplete.OtherNo warnings★ 115↓ —
- ai-media-generation-expertroedyrustam/vibes-plugAI media generation: Flux, Sora, Runway, ElevenLabs TTS, and Whisper / Generasi media AI: Flux, Sora, Runway, ElevenLabs TTS, dan Whisper.OtherNo warnings★ 115↓ —
- batch-organizercxcscmu/SkillLearnBenchEfficiently organizes large numbers of files into directories.OtherNo warnings★ 91↓ —
- template-processingcxcscmu/SkillLearnBenchProcess templates with placeholder substitution and conditional sectionsOtherNo warnings★ 91↓ —
- parallel-processingcxcscmu/SkillLearnBenchParallel processing with joblib for grid search and batch computations across multiple CPU cores.OtherNo warnings★ 91↓ —
- sc100-form-mappingcxcscmu/SkillLearnBenchMap case information to California Small Claims Court Form SC-100 fields. Use this skill whenever you need to fill the SC-100 form, understand its structure, extract field names, or map plaintiff/defendant information to the correct form sections.OtherNo warnings★ 91↓ —
- google-authaAAaqwq/AGI-Super-TeamGoogle OAuth setup, refresh tokensOtherNo warnings★ 112↓ —
- meeting-request-parsingcxcscmu/SkillLearnBenchParse meeting request emails from JSON format and extract duration and time constraintsOtherNo warnings★ 91↓ —
- d3-color-legendcxcscmu/SkillLearnBenchAdd a categorical color legend to a D3 chart using colored rectangles or circles with text labels, supporting both SVG-inline and HTML overlay styles.OtherNo warnings★ 91↓ —
- scheduling-enginecxcscmu/SkillLearnBenchAlgorithm to find earliest available meeting slots given constraints and existing appointments.OtherNo warnings★ 91↓ —
- dpma-marke-anmeldenThomasMoreAI/legal-skills-openEine Markenanmeldung beim DPMA mit Inhaber, Darstellung, Verzeichnis, Priorität, Gebühren und Eingangskontrolle vorbereiten.OtherNo warnings★ 96↓ —
- thinking-dhhaAAaqwq/AGI-Super-TeamDHH's thinking framework — convention over configuration, ship fast, perfect is the enemyOtherNo warnings★ 112↓ —
- zero-to-prod-orchestratorroedyrustam/vibes-plugMaster orchestrator to build an application from scratch to a production-ready release, enforcing strict step-by-step progression and continuous documentation / Orkestrator utama untuk membangun aplikasi dari nol hingga rilis siap produksi dengan dokumentasi bertahap.OtherNo warnings★ 115↓ —
- pymcK-Dense-AI/scientific-agent-skillsBuilds and checks Bayesian models with PyMC, including hierarchical models, NUTS MCMC, variational inference, mutable-data predictions, posterior predictive checks, diagnostics, and PSIS-LOO model comparison. Use for probabilistic modeling and uncertainty inference in PyMC.OtherNo warnings★ 55.2K↓ —Also in 1 other repo
- pm-changekonglong87/superPMUse when: 项目进行中出现需求变更、需要评估变更影响范围和风险、记录变更历史 Do NOT use when: 变更极小无需正式评估、变更已有明确决策无需分析OtherNo warnings★ 84↓ —
- disk-cleanupmoonlight-lupin/agent-skillsUse when df says disk is above 80% full or the user wants to reclaim storage space on a VM.OtherNo warnings★ 113↓ —
- d3-fundamentalscxcscmu/SkillLearnBenchEssential D3.js v6 concepts including selections, scales, SVG basics, and data binding for building interactive visualizationsOtherNo warnings★ 91↓ —
- california-sc100-formcxcscmu/SkillLearnBenchUnderstand the structure and fields of the California Small Claims Court Form SC-100OtherNo warnings★ 91↓ —
- netcdf-processingcxcscmu/SkillLearnBenchReading, processing, and analyzing NetCDF output from lake simulation modelsOtherNo warnings★ 91↓ —
- glm-runnercxcscmu/SkillLearnBenchA skill to execute the GLM binary and manage its simulation output.OtherNo warnings★ 91↓ —
- matricesparcadei/Continuous-Claude-v3Problem-solving strategies for matrices in linear algebraOtherNo warnings★ 3.9K↓ —
- simpo-losscxcscmu/SkillLearnBench[COLM'26] SkillLearnBench is the first benchmark for evaluating continual learning methods that automatically generate agent skills.OtherNo warnings★ 91↓ —
abstract-domain-explorer
ArabelaTso/Skills-4-SE
OtherUpdated Aug 21, 2026
From the author
Applies abstract interpretation using different abstract domains (intervals, octagons, polyhedra, sign, congruence) to statically analyze program variables and infer invariants, value ranges, and relationships. Use when analyzing program properties, inferring loop invariants, detecting potential errors, or understanding variable relationships through static analysis.
Install
npx skills add ArabelaTso/Skills-4-SE --skill abstract-domain-explorer -a claude-code
Installs to .claude/skills/abstract-domain-explorer/ · Each command fetches the skill straight from GitHub with the open skills CLI.
Download .zip
Byte-identical to the scanned commit, with the repository’s licence and a SOURCE.txt.
What it can touch
Instructions onlyNo network use seenLicence: APACHE-2.0
Safety checks on SKILL.md
No warnings.
Why 83
Security100
Provenance69
Maintenance85
Licence100
Adoption40
Files (3)
- SKILL.md
- references/abstract_domains.md
- references/api_reference.md