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 4 minutes ago
9,543 skills
- vueuse-functionsvueuse/skillsApply VueUse composables where appropriate to build concise, maintainable Vue.js / Nuxt features.OtherNo warnings★ 402↓ —
- dependency-upgrade-migratorroedyrustam/vibes-plugDependency upgrades, breaking change migrations, and codemod tooling / Upgrade dependensi, migrasi breaking change, dan otomasi codemod.OtherNo warnings★ 115↓ —
- thinking-budget-orchestratorroedyrustam/vibes-plugDynamic thinking budget orchestrator across late-2026 frontier models / Alokasi budget penalaran dinamis pada model frontier 2026.OtherNo warnings★ 115↓ —
- nextjs-app-router-expertroedyrustam/vibes-plugNext.js 15 App Router: RSC, Server Actions, PPR, and caching / Panduan Next.js 15 App Router: RSC, Server Actions, PPR, dan cache.OtherNo warnings★ 115↓ —
- data-visualization-expertroedyrustam/vibes-plugData visualization dashboards using D3.js, Recharts, and Tremor / Visualisasi data, grafik, dan dashboard dengan D3.js dan Recharts.OtherNo warnings★ 115↓ —
- chatbot-messaging-expertroedyrustam/vibes-plugChatbots & messaging APIs: WhatsApp Business, Telegram, Discord, Slack / Integrasi chatbot & messaging: WhatsApp, Telegram, Discord, Slack.OtherNo warnings★ 115↓ —
- zero-to-prod-orchestratorroedyrustam/vibes-plugMaster orchestrator to build apps from zero to production readiness / Master orkestrator membangun aplikasi dari nol hingga siap produksi.OtherNo warnings★ 115↓ —
- socratic-questortronghieu/agent-skillsSocratic questioning partner named Gadfly for deep learning through dialogue. Use this skill when the user wants to learn, understand, or explore a topic through questions rather than explanations. Trigger when the user says "teach me about...", "help me understand...", "I want to learn...", "ask me questions about...", "quiz me", "Socratic method", "Gadfly", or wants to deeply understand something through dialogue rather than passive reading. Also trigger when the user provides a text or document and wants to be questioned about it, or wants to check their own understanding of a concept.OtherNo warnings★ 89↓ —
- graph-rag-knowledge-expertroedyrustam/vibes-plugKnowledge Graphs, GraphRAG, Neo4j, and multi-hop relational search / Knowledge Graph, GraphRAG, Neo4j, dan pencarian relasional multi-hop.OtherNo warnings★ 115↓ —
- claude-md-checkclaude-world/director-mode-liteValidate CLAUDE.md structure and completenessOtherNo warnings★ 80↓ —
- bmad-gammaalvin-reyes/better-agentic-ideA fixture skill with every path defect. Use when a golden needs findings.OtherNo warnings★ 85↓ —
- error-resilience-expertroedyrustam/vibes-plugError resilience, circuit breakers, retries, and graceful degradation / Ketahanan error, circuit breaker, retry, dan degradasi anggun.OtherNo warnings★ 115↓ —
- hunt-dispatchadriannoes/awesome-agentic-aiSkill-set loader for /hunt orchestrator. Fingerprints the target, picks the right platform attack skills, and loads the Red Team or WAPT skill set. Use when /hunt has just received a mode answer (redteam or wapt + blackbox|greybox) and needs to load the appropriate skills and print the taxonomy. Not for direct user invocation.OtherNo warnings★ 89↓ —
- prompt-injection-firewallroedyrustam/vibes-plugRuntime defenses against prompt injection, jailbreaks, and SSRF / Pertahanan runtime terhadap prompt injection, jailbreak, dan SSRF.OtherNo warnings★ 115↓ —
- state-management-expertroedyrustam/vibes-plugModern client state management: Zustand, Jotai, and TanStack Store / Manajemen state modern client-side: Zustand, Jotai, TanStack Store.OtherNo warnings★ 115↓ —
- adaptive-model-cascaderoedyrustam/vibes-plugModel cascading & complexity-scored routing (Grok, Gemini, Claude) / Routing kaskade model & scoring kompleksitas (Grok, Gemini, Claude).OtherNo warnings★ 115↓ —
- search-engine-expertroedyrustam/vibes-plugFull-text search engines: Typesense, Meilisearch, and Elasticsearch / Mesin pencarian full-text: Typesense, Meilisearch, Elasticsearch.OtherNo warnings★ 115↓ —
- apple-ecosystem-expertroedyrustam/vibes-plugApple ecosystem development: iOS support, Safari WebKit, and HIG / Pengembangan ekosistem Apple: kompatibilitas iOS, Safari, dan HIG.OtherNo warnings★ 115↓ —
- file-upload-media-expertroedyrustam/vibes-plugFile uploads (S3, R2, Supabase), presigned URLs, and media pipelines / Upload file (S3, R2, Supabase), presigned URL, dan pipeline media.OtherNo warnings★ 115↓ —
- bmod-demoalvin-reyes/better-agentic-ideRequired bmod metadata. Never invoke this skill.OtherNo warnings★ 85↓ —
- headless-cms-expertroedyrustam/vibes-plugHeadless CMS integration: Sanity, Payload CMS, Strapi, Contentful / Integrasi Headless CMS: Sanity, Payload CMS, Strapi, Contentful.OtherNo warnings★ 115↓ —
- doku-mcp-serverroedyrustam/vibes-plugDOKU MCP server: AI agentic commerce, checkout, and payment tools / DOKU MCP server: commerce berbasis agen AI, checkout, dan pembayaran.OtherNo warnings★ 115↓ —
- flutter-dart-expertroedyrustam/vibes-plugFlutter 3.27+ and Dart 3.7+ cross-platform apps and Riverpod 3 / Aplikasi lintas platform Flutter 3.27+, Dart 3.7+, dan Riverpod 3.OtherNo warnings★ 115↓ —
- papercut-voice0xS4N4TG/papercut-explainerVoice a papercut reel and time it to the picture. Three paths, local Qwen3-TTS, your own recording or another TTS, or a placeholder voice. Covers delivery rules, voice.json, captions and scene timing. Use for "set up the voice", "re-voice this", "time the script".OtherNo warnings★ 103↓ —
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