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.
47,307 skills from 2,272 repositories · updated 3 hours ago
10,066 skills
- frontier-ai-models-expertroedyrustam/vibes-plugFrontier AI models orchestration (Grok 4.7, Gemini 4, Claude 5.5) / Orkestrasi model AI frontier (Grok 4.7, Gemini 4, Claude 5.5).OtherNo warnings★ 115↓ —
- paywall-generatorrshankras/claude-code-apple-skillsGenerates StoreKit 2 subscription paywall with modern SwiftUI views. Use when user wants to add subscriptions, paywall, or in-app purchases.OtherNo warnings★ 837↓ —
- spring-boot-actuatorgiuseppe-trisciuoglio/developer-kitProvides patterns to configure Spring Boot Actuator for production-grade monitoring, health probes, secured management endpoints, and Micrometer metrics across JVM services. Use when setting up monitoring, health checks, or metrics for Spring Boot applications.OtherNo warnings★ 365↓ —
- bug-fix-briefgiuseppe-trisciuoglio/developer-kitGenerates a structured Bug Fix Brief (BFB) to document issue corrections. Includes root cause analysis, repro steps, fix options, and fix checklist. Use when user asks to create a BFB, document a bug fix, or generate a bug correction document.OtherNo warnings★ 365↓ —
- proof-failure-explainerArabelaTso/Skills-4-SEAnalyze 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.OtherNo warnings★ 259↓ —
- macos-capabilitiesrshankras/claude-code-apple-skillsExpert guidance on macOS platform capabilities. Covers sandboxing, app extensions, menu bar apps, and background execution. Use when implementing system integration features.OtherNo warnings★ 837↓ —
- streak-trackerrshankras/claude-code-apple-skillsGenerates a streak tracking system with timezone-aware day boundaries, streak freeze protection, and streak-at-risk push notifications. Use when user wants daily/weekly engagement streaks, consecutive day tracking, or habit tracking.OtherNo warnings★ 837↓ —
- featured-snippet-optimizerinhouseseo/superseo-skillsUse when you want to win a featured snippet for a keyword you already rank for. The agent checks the current snippet format, analyzes your content, and rewrites the relevant section to match what Google wants.OtherNo warnings★ 373↓ —
- app-agbThomasMoreAI/legal-skills-openFür App AGB: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.OtherNo warnings★ 95↓ —
- box-automationaAAaqwq/AGI-Super-TeamAutomate Box cloud storage operations including file upload/download, search, folder management, sharing, collaborations, and metadata queries via Rube MCP (Composio). Always search tools first for current schemas.OtherNo warnings★ 111↓ —
- eeat-auditinhouseseo/superseo-skillsUse when auditing a page for E-E-A-T signals. The agent reads the page and scores Experience, Expertise, Authoritativeness, and Trustworthiness — then tells you exactly what to add to each dimension.OtherNo warnings★ 373↓ —
- crm-hygiene-checkBevel-Software/HexisRead-only audit of your CRM opportunities for missing fields, stale dates, and stage mismatches - outputs a fix checklist to apply by hand or through update-opportunity. Use when the user asks "check my CRM hygiene", "check my Salesforce or HubSpot data", "clean up my CRM", "audit my opps", "what's missing in the CRM", or "clean up my pipeline".OtherNo warnings★ 121↓ —
- refundrunxhq/runxRefund one original Stripe, PayPal or x402 merchant payment with exact native approval and independently checked settlement.OtherNo warnings★ 104↓ —
- glm-calibrationcxcscmu/SkillLearnBenchCalibrating the General Lake Model (GLM) by modifying parameter bounds for lake simulation.OtherNo warnings★ 91↓ —
- look-and-feelThomasMoreAI/legal-skills-openFür Corporate-Cowork-Look: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt. Fachgebiet: Großkanzlei Corporate/M&A.OtherNo warnings★ 95↓ —
- improve-contentinhouseseo/superseo-skillsUse when rewriting or refreshing an existing page that's underperforming. The agent fetches the URL, analyzes the current content, researches the SERP, and rewrites using the full anti-AI-slop ruleset — no data exports needed.OtherNo warnings★ 373↓ —
- problem-structuringitseffi/agentic-osBreak down complex problems into actionable recommendations using deductive and inductive analysis.OtherNo warnings★ 117↓ —
- tvchartdeeleeramone/PyWryDrive a live TradingView Lightweight Charts widget end-to-end via PyWry MCP tools — symbol, interval, indicators, markers, price lines, layouts, state.OtherNo warnings★ 99↓ —
- reading-payment-statementkazukinagata/shinkoku支払調書の画像を読み取り構造化データを返す。 他のスキルから呼び出されるほか、直接ユーザーが呼び出すことも可能。OtherNo warnings★ 366↓ —
- reading-deduction-certkazukinagata/shinkoku控除証明書（生命保険料・地震保険料等）の画像を読み取り構造化データを返す。 他のスキルから呼び出されるほか、直接ユーザーが呼び出すことも可能。OtherNo warnings★ 366↓ —
- reading-receiptkazukinagata/shinkokuレシート・領収書・ふるさと納税受領証明書の画像を読み取り構造化データを返す。 他のスキルから呼び出されるほか、直接ユーザーが呼び出すことも可能。OtherNo warnings★ 366↓ —
- 装修合同审核zx029w/zhuangxiu-skills本Skill内置从学到装｜装修课堂知识库，专门帮业主审核装修合同、识别预算陷阱、防范定金套路、避免增项偷项、看懂报价单、判断售后保障。适合准备签装修合同、拿到报价单不知怎么看、被要求交定金、遇到中途加钱的等场景使用。触发场景包括"装修合同怎么签""报价单怎么看""定金能退吗""套餐能签吗""装修增项怎么办""怎么选装修公司"等涉及装修合同审核的所有问题。OtherNo warnings★ 86↓ —
- reading-withholdingkazukinagata/shinkoku源泉徴収票の画像を読み取り構造化データを返す。 他のスキルから呼び出されるほか、直接ユーザーが呼び出すことも可能。OtherNo warnings★ 366↓ —
- parallel-ops0xDarkMatter/claude-modsRouter for parallel or recurring agent work across six skills. Covers: parallel agents, fan out work, delegate to workers, run overnight, scheduled loop, land branches, mixed-model fleet, orchestrate workers, background agents at scale. Triggers on: which skill for parallel work, fan out agents, spawn workers, run this overnight, schedule a loop, land my branches, clean up after a wave, heterogeneous fleet, delegate to cheaper model, autonomous loop.OtherNo warnings★ 78↓ —
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