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,100 skills from 2,198 repositories · updated 7 hours ago
9,541 skills
- serv-coldtonone-ai/tononeDiagnose and optimize Lambda/serverless cold start performance. Use when asked to "fix Lambda cold starts", "our functions are slow to start", or "reduce cold start latency".OtherNo warnings★ 76↓ —
- 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↓ —
- urheberstrafrechtThomasMoreAI/legal-skills-openFür Urheberstrafrecht und Ermittlungen: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.OtherNo warnings★ 96↓ —
- meeting-request-parsingcxcscmu/SkillLearnBenchParse meeting request emails from JSON format and extract duration and time constraintsOtherNo warnings★ 91↓ —
- web-searchaAAaqwq/AGI-Super-Team网络搜索与网页内容获取。当用户需要搜索互联网信息、获取网页内容、查找实时数据、进行 websearch 时使用此技能。支持多种搜索工具：WebFetch、Firecrawl skill、Tavily skill。OtherNo warnings★ 112↓ —
- bau-vob-agbThomasMoreAI/legal-skills-openFür Bau VOB/B AGB: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.OtherNo warnings★ 96↓ —
- 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↓ —
- work-to-skillaAAaqwq/AGI-Super-Team工作即技能：每次完成一项有复用价值的工作后，自动评估并封装为可复用 Skill。让团队在工作中持续进化。OtherNo warnings★ 112↓ —
- thinking-dhhaAAaqwq/AGI-Super-TeamDHH's thinking framework — convention over configuration, ship fast, perfect is the enemyOtherNo warnings★ 112↓ —
- chinese-rhyme-moderncxcscmu/SkillLearnBenchModern Mandarin rhyme groups for classical Chinese poetry composition, mapping finals to rhyme categories.OtherNo warnings★ 91↓ —
- managementThomasMoreAI/legal-skills-openFür Management Presentation Prep: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt. Fachgebiet: Großkanzlei Corporate/M&A. Route: management.OtherNo warnings★ 96↓ —
- 02-applygilgameshcc/ai-native-jobhunt一套写给 agent 读的求职方法论。不是投递脚本，是每个决策点上的判断纪律。OtherNo warnings★ 105↓ —
- skill-creatorfeiskyer/claude-code-settingsCreate, refine, and benchmark agent skills. Use when building a new skill, updating an existing one, running evals, checking trigger quality, or improving a skill description.OtherNo warnings★ 1.7K↓ —
- 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↓ —
- netcdf-processingcxcscmu/SkillLearnBenchReading, processing, and analyzing NetCDF output from lake simulation modelsOtherNo warnings★ 91↓ —
- d3-data-tablecxcscmu/SkillLearnBenchHow to build an interactive HTML data table driven by D3.js v6 with sortable columns, row highlighting, cross-component selection, and formatted values. Use this skill when building tabular displays alongside D3 charts, especially when the table needs to stay in sync with chart interactions.OtherNo warnings★ 91↓ —
- rationaleNoobyGains/godmodeUse when the user asks for new work such as a feature, component, integration, service or dependency, especially when the request names a solution instead of a problem, the scope looks larger than the user may expect, or the motivation is that other products have itOtherNo warnings★ 115↓ —
- hue-recontonone-ai/tononeAudit existing color usage in a codebase — find inconsistencies, hardcoded values, and contrast failures. Use when asked to "audit our color usage", "find hardcoded hex values", or "check for contrast failures".OtherNo warnings★ 76↓ —
- hunt-sqliEncod3d-Sec/TORCHSQLi and NoSQLi hunting - error-based, boolean-blind, time-based, UNION, NoSQL operator injection. sqlmap automation after manual confirmation. Wiki-first, FIND schema output.OtherNo warnings★ 336↓ —
- app-cliprshankras/claude-code-apple-skillsGenerates App Clip targets with invocation URL handling, lightweight experiences, and full app upgrade prompts. Use when user wants NFC/QR/Safari banner invocation, instant app experiences, or App Clip Card setup.OtherNo warnings★ 840↓ —
- agent-ready-dns-aidfabricioctelles/skillsSub-skill: Implement DNS-AID records so agents discover endpoints through DNS. Use SVCB/HTTPS records under _agents namespace with alpn and connection parameters.OtherNo warnings★ 123↓ —
- file-classificationcxcscmu/SkillLearnBenchClassify academic papers and documents into subject categories using keyword-based text analysis.OtherNo warnings★ 91↓ —
proof-failure-explainer
ArabelaTso/Skills-4-SE
OtherUpdated Aug 21, 2026
From the author
Analyze and explain why Isabelle or Coq proofs fail, identifying the root cause such as type mismatches, missing assumptions, incorrect goals, unification failures, or inapplicable tactics. Use when the user encounters proof failures, error messages in formal verification, stuck proof states, or asks why their Isabelle/Coq proof doesn't work.
Install
npx skills add ArabelaTso/Skills-4-SE --skill proof-failure-explainer -a claude-code
Installs to .claude/skills/proof-failure-explainer/ · 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 (2)
- SKILL.md
- references/failure_patterns.md