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,700 skills from 2,243 repositories · updated 20 hours ago
10,031 skills
- einarbeitungThomasMoreAI/legal-skills-openFür Einarbeitung: Semestereinarbeitung: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.OtherNo warnings★ 95↓ —
- vect-recontonone-ai/tononeAudit existing vector search or RAG implementation — find quality gaps and performance issues. Use when asked to "audit our RAG system", "why is retrieval bad", or "find vector search quality gaps".OtherNo warnings★ 76↓ —
- word-stil-tonThomasMoreAI/legal-skills-openFür Word: Erstprüfung, Rollenklärung und Mandatsziel: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.OtherNo warnings★ 95↓ —
- spielervertragThomasMoreAI/legal-skills-openFür Spielervertrag: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt. Fachgebiet: Fachanwalt für Sportrecht. Route: spielervertrag.OtherNo warnings★ 95↓ —
- plazosThomasMoreAI/legal-skills-openTracker de plazos procesales y extraprocesales para la clínica jurídica. Permite añadir, actualizar y cerrar plazos con alertas de proximidad. Incluye advertencias de responsabilidad profesional por preclusión. Usar cuando el usuario dice "añadir plazo", "plazos pendientes", "vence algo?", "tracker", "calendario de plazos", o necesita gestionar los plazos de los asuntos de la clínica.OtherNo warnings★ 95↓ —
- bank-agbThomasMoreAI/legal-skills-openFür Bank AGB: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.OtherNo warnings★ 95↓ —
- library-docsTaewoooPark/MotifcodeFind version-matched library documentation before implementing unfamiliar APIs or fixing dependency compatibility.OtherNo warnings★ 77↓ —
- reference-searcherArabelaTso/Skills-4-SESystematic external reference searching across documentation, open-source repositories, and web resources. Use when working with unfamiliar libraries, APIs, or when needing production-quality implementation examples.OtherNo warnings★ 259↓ —
- budget-managementcxcscmu/SkillLearnBenchTrack and manage travel budget across accommodations, meals, and activitiesOtherNo warnings★ 91↓ —
- incident-managementBagelHole/DevOps-Security-Agent-SkillsImplement incident management processes and escalation procedures. Configure on-call schedules and post-incident reviews. Use when managing production incidents.OtherNo warnings★ 1.2K↓ —
- podmanlingxling/awesome-skills-cnManage containers using Podman, the daemonless container engine.OtherNo warnings★ 321↓ —
- 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↓ —
- 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↓ —
- inso-plThomasMoreAI/legal-skills-openFür Mandantenkommunikation: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt. Fachgebiet: Insolvenzrecht.OtherNo warnings★ 95↓ —
- bom-diaThomasMoreAI/legal-skills-openO cockpit da manhã do advogado brasileiro. Um comando: puxa as intimações novas do DJEN pela sua OAB, checa se houve movimentação nova nos processos que você acompanha (DataJud), calcula os prazos em dias úteis (CPC art. 219) e entrega o resumo priorizado do dia — o que vence hoje, o que vence esta semana, o que só é ciência — com a peça que cada prazo exige e a oferta de já minutar. Requer os conectores DJEN e DataJud (`connectors/`). Não dá ciência nem protocola — só surface e calcula.OtherNo warnings★ 95↓ —
- skill-createSummerEngine/summerBootstrap a new Summer library skill (library/skills/<slug>/ with resource.yaml and SKILL.md), frontmatter, and stub sections.OtherNo warnings★ 88↓ —
- monte-carlo-proactive-monitoringmonte-carlo-data/mc-agent-toolkitGuide users from coverage analysis to monitor creation. USE WHEN user asks what should I monitor, where are my gaps, improve coverage, or wants a systematic approach to monitoring across their data estate.OtherNo warnings★ 93↓ —
- 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★ 122↓ —
- case-briefThomasMoreAI/legal-skills-openResume um julgado/acórdão no seu formato preferido. Em modo sabatina, faz o aluno afirmar a tese/ementa primeiro. Use quando o usuário disser "resume [julgado]", "qual a tese de", "resumo de acórdão", ou colar o inteiro teor de uma decisão.OtherNo warnings★ 95↓ —
- rampThomasMoreAI/legal-skills-open学生学期导入——诊所程序、工具导览、真实案件之前的实践练习。 读取指导老师在设置时上传的手册并以互动方式教学。 当新诊所学生说"帮我导入""我是诊所新人""开始"，或每学期开始时使用； 传入 --card 获取一页参考卡。OtherNo warnings★ 95↓ —
- iracThomasMoreAI/legal-skills-openEvalúa el análisis de caso del estudiante usando la estructura IRAC. Rúbrica: identificación del problema (25%), regulación (25%), aplicación (35%), conclusión (15%). Da feedback específico y accionable — NUNCA reescribe el análisis del estudiante. Usar cuando el usuario dice "evalúa mi IRAC", "corrige mi análisis", "revisa mi caso práctico", o presenta un análisis de caso para evaluación.OtherNo warnings★ 95↓ —
- grace-executeosovv/grace-marketplaceExecute an approved GRACE 4 GraceChangePlan in sequential or parallel-safe mode with recovery-aware preflight and centralized durable apply.OtherNo warnings★ 254↓ —Also in 1 other repo
- anpassen-5ThomasMoreAI/legal-skills-openFür /anpassen: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt. Fachgebiet: Plugin für die studentische Rechtsberatungsstelle.OtherNo warnings★ 95↓ —
- runbook-creationBagelHole/DevOps-Security-Agent-SkillsCreate operational runbooks and standard operating procedures. Document troubleshooting guides and recovery procedures. Use when documenting operational knowledge.OtherNo warnings★ 1.2K↓ —
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