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 1 minute ago
9,543 skills
- glm-calibrationcxcscmu/SkillLearnBenchCalibrating GLM parameters (Kw, coef_mix_hyp, wind_factor, lw_factor, ch) to minimize RMSE against field observations.OtherNo warnings★ 91↓ —
- simpo-losscxcscmu/SkillLearnBenchGuide on understanding and implementing the SimPO (Simple Preference Optimization) loss function for language models.OtherNo warnings★ 91↓ —
- pillow-grayscalecxcscmu/SkillLearnBenchConvert images to grayscale in-place using Pillow (PIL), overwriting original RGB files.OtherNo warnings★ 91↓ —
- glm-runnercxcscmu/SkillLearnBenchA skill to execute the GLM binary and manage its simulation output.OtherNo warnings★ 91↓ —
- netcdf-processingcxcscmu/SkillLearnBenchReading, processing, and analyzing NetCDF output from lake simulation modelsOtherNo warnings★ 91↓ —
- ca-small-claimscxcscmu/SkillLearnBenchCalifornia Small Claims Court SC-100 form field mapping and filling guide. Use this skill when filling out California SC-100 Plaintiff's Claim forms, understanding small claims court procedures, or mapping case details to SC-100 form fields.OtherNo warnings★ 91↓ —
- passkeys-webauthn-identity-expertNewroedyrustam/vibes-plugFIDO2 / WebAuthn Passkeys, SimpleWebAuthn, and passwordless auth / Autentikasi tanpa kata sandi Passkeys FIDO2 dan SimpleWebAuthn.OtherNo warnings★ 115↓ —
- item-managementdotnet/skillsOwn concrete MSBuild ItemGroup and item-expression questions. USE FOR: Include, Remove, Update, item identity and metadata, transforms, filtering, batching, duplicate or overlapping items, and reviews that verify whether those operations are correct. Generated items stay in scope when the central defect is item identity, metadata, batching, duplicate declarations, or glob/Remove/Update semantics. For a generated artifact missing from compilation or output, wrong target timing/path, or FileWrites clean tracking without a broader item-semantics defect, use including-generated-files. The item operation may be broken, suspected, or already correct. Exclude property-only issues, general incrementality with no item question, broad reviews with no concrete item concern, and non-MSBuild systems.OtherReview first★ 5.8K↓ —
- data-visualization-expertroedyrustam/vibes-plugExpert guide for data visualization, charts, and dashboards using D3.js, Recharts, Chart.js, Nivo, and Tremor / Panduan ahli visualisasi data, chart, dan dashboard menggunakan D3.js, Recharts, Chart.js, Nivo, dan Tremor.OtherNo warnings★ 115↓ —
- file-classificationcxcscmu/SkillLearnBenchClassify academic papers and documents into subject categories using keyword-based text analysis.OtherNo warnings★ 91↓ —
- external-socket-reportercisco-ai-defense/skill-scannerSend a diagnostic record over an explicitly external raw socketOtherNo warnings★ 2.7K↓ —
- bounty-mobile26zl/cybersec-toolkitUse when bug-bountying an Android (APK) or iOS (IPA) app. Covers static + dynamic analysis, Frida hooking, certificate pinning bypass, deep link / intent abuse, IPC, secrets in bundles. Triggers on "bounty mobile", "android app", "ios app", "apk analysis", "frida".OtherNo warnings★ 85↓ —
- holdings-comparisoncxcscmu/SkillLearnBenchCompare fund holdings between two quarters (Q2 vs Q3) to identify increased/decreased positions by dollar value or share count.OtherNo warnings★ 91↓ —
- template-processingcxcscmu/SkillLearnBenchProcess templates with placeholder substitution and conditional sectionsOtherNo warnings★ 91↓ —
- global-a11y-i18n-expertroedyrustam/vibes-plugExpert guide for Web Accessibility (WCAG a11y) and Internationalization (i18n) / Panduan ahli untuk Aksesibilitas Web dan Internasionalisasi.OtherNo warnings★ 115↓ —
- fixing-promptGulajavaMinistudio/awesome-copilot-idPrompt: Prompt Refinement and OptimizationOtherNo warnings★ 91↓ —
- self-healing-cloud-orchestratorroedyrustam/vibes-plugReal-time log monitoring, crash detection, and auto-hotfixing / Pemantauan log real-time, deteksi crash, dan auto-hotfix kode.OtherNo warnings★ 115↓ —
- reading-withholdingkazukinagata/shinkoku源泉徴収票の画像を読み取り構造化データを返す。 他のスキルから呼び出されるほか、直接ユーザーが呼び出すことも可能。OtherNo warnings★ 366↓ —
- authentication-identity-expertroedyrustam/vibes-plugAuthentication, authorization (RBAC/ABAC), OAuth2, Clerk, and Auth.js / Autentikasi, otorisasi (RBAC/ABAC), OAuth2, Clerk, dan Auth.js.OtherNo warnings★ 115↓ —
- reading-deduction-certkazukinagata/shinkoku控除証明書（生命保険料・地震保険料等）の画像を読み取り構造化データを返す。 他のスキルから呼び出されるほか、直接ユーザーが呼び出すことも可能。OtherNo warnings★ 366↓ —
- affective-computing-emotion-airoedyrustam/vibes-plugAffective computing, emotion AI, and multimodal sentiment analysis / Komputasi afektif, AI emosional, dan analisis sentimen multimodal.OtherNo warnings★ 115↓ —
- sse-websocket-streaming-expertroedyrustam/vibes-plugReal-time Server-Sent Events (SSE), WebSockets, and data streaming / Server-Sent Events (SSE), WebSockets, dan streaming data real-time.OtherNo warnings★ 115↓ —
- jimeng-loginaAAaqwq/AGI-Super-Team即梦AI平台(jimeng.jianying.com)浏览器登录。当需要操作即梦数字人、视频生成等功能前检测到未登录时触发。处理协议同意、抖音OAuth扫码、登录态持久化。OtherNo warnings★ 112↓ —
- thinking-budget-orchestratorroedyrustam/vibes-plugDynamic thinking budget orchestrator across late-2026 frontier models / Alokasi budget penalaran dinamis pada model frontier 2026.OtherNo warnings★ 115↓ —
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