Skill-uri pentru agenți pe care le poți verifica înainte să le instalezi
Skill-uri SKILL.md publice din depozite GitHub cu peste 50 de stele și de la producători, scanate și evaluate. Instalează oricare dintre ele cu o singură comandă în Claude Code, Cursor, Codex, GitHub Copilot sau Gemini CLI.
46.100 de skill-uri din 2.198 de depozite · actualizat acum 8 ore
9.541 de skill-uri
- ringsparcadei/Continuous-Claude-v3Problem-solving strategies for rings in abstract algebraAlteleFără avertismente★ 3,9 K↓ —Apare și în 1 alt depozit
- fabric-patternaAAaqwq/AGI-Super-TeamIntegrate Daniel Miessler's Fabric patterns into local workflows for structured prompting, text transformation, and retrieval-assisted processing.AlteleFără avertismente★ 112↓ —
- reference-sdkparcadei/Continuous-Claude-v3Check reference SDK implementations using btca askAlteleFără avertismente★ 3,9 K↓ —Apare și în 1 alt depozit
- renweiNouorziz/odai去 AI 味：让文案、图像、视频等交付物读起来、看起来像具体的人为具体受众认真做的。用户嫌内容“AI 味重”“像模板”“不像人写的”，要求润色或本地化文案、重画或替换生成素材、清理噪点、制作宣传图与截图、剪预告片、清理生成来源标记，或 odai 判断表现层的人味会改善结果时使用。AlteleFără avertismente★ 119↓ —
- 装修合同审核zx029w/zhuangxiu-skills本Skill内置从学到装｜装修课堂知识库，专门帮业主审核装修合同、识别预算陷阱、防范定金套路、避免增项偷项、看懂报价单、判断售后保障。适合准备签装修合同、拿到报价单不知怎么看、被要求交定金、遇到中途加钱的等场景使用。触发场景包括"装修合同怎么签""报价单怎么看""定金能退吗""套餐能签吗""装修增项怎么办""怎么选装修公司"等涉及装修合同审核的所有问题。AlteleFără avertismente★ 86↓ —
- work-to-skillaAAaqwq/AGI-Super-Team工作即技能：每次完成一项有复用价值的工作后，自动评估并封装为可复用 Skill。让团队在工作中持续进化。AlteleFără avertismente★ 112↓ —
- 装修避坑问答zx029w/zhuangxiu-skills【装修小白必看】你是第一次装修的小白吗？什么都不知道、不知道问什么、怕被坑又不知道坑在哪？这个Skill覆盖装修全流程——问找公司、问签合同、问施工、问选材、问设计、问布局、问家具家电，一站式解答你的装修疑问。适合装修小白、第一次装修、不知道从哪下手的业主。AlteleFără avertismente★ 86↓ —
- run2_time-formattingcxcscmu/SkillLearnBenchFormat dates and times with strict adherence to required formatsAlteleFără avertismente★ 91↓ —
- brand-identityaAAaqwq/AGI-Super-TeamDefine brand strategy, voice, visual direction, tagline, and usage guidelines. Use when creating, refreshing, or standardizing a product or company brand.AlteleFără avertismente★ 112↓ —
- keep-recontonone-ai/tononeCustomer success reconnaissance — audit current onboarding completion, health signals, NRR, churn patterns, and CS motion. Use when asked to "audit our customer success", "why are customers churning", "what's our NRR", or before designing any CS playbook.AlteleFără avertismente★ 76↓ —
- brief-recontonone-ai/tononeSurvey the project's existing contracts and policy docs. Use when asked "what contracts do we have", "survey our policy docs", or "inventory our agreements".AlteleFără avertismente★ 76↓ —
- graph-algorithmsparcadei/Continuous-Claude-v3Problem-solving strategies for graph algorithms in graph number theoryAlteleFără avertismente★ 3,9 K↓ —
- gh-issue-analysiscxcscmu/SkillLearnBenchHow to fetch and analyze GitHub issues for a repository within a date range: total counts, bug report identification by label substring matching, and resolved bug counts. Use this skill whenever the user asks about issue metrics, bug counts, triage stats, or community health reports for a GitHub repo.AlteleFără avertismente★ 91↓ —
- tianyancha-cnaAAaqwq/AGI-Super-Team企业信息查询 - 天眼查/企查查/爱企查数据查询（Bloomberg 终端中国版）AlteleFără avertismente★ 112↓ —
- meshy-3d-printingmeshy-dev/meshy-3d-agentGenerate or prepare models for physical 3D printing, including white or multicolor prints, Creative Lab products, sizing, and slicer handoff.AlteleFără avertismente★ 106↓ —
- dealtonone-ai/tononeRevenue & Sales engineer — B2B pipeline, deal strategy, pricing proposals, sales playbooks, and enterprise closing. Use when asked to "price this deal", "build a sales playbook", "close an enterprise deal", or "manage the B2B pipeline".AlteleFără avertismente★ 76↓ —
- constrained-optimizationparcadei/Continuous-Claude-v3Problem-solving strategies for constrained optimization in optimizationAlteleFără avertismente★ 3,9 K↓ —
- mandarin-rhymecxcscmu/SkillLearnBenchRules for rhyming in poetry based on modern Mandarin (Pinyin).AlteleFără avertismente★ 91↓ —
- mod-erklaerungThomasMoreAI/legal-skills-openFür Mod Erklärung: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.AlteleFără avertismente★ 96↓ —
- hunt-ioctonone-ai/tononeAnalyze indicators of compromise — enrichment, attribution, and response recommendations. Use when asked to "analyze these IOCs", "enrich these indicators", or "what is this hash".AlteleFără avertismente★ 76↓ —
- modular-arithmeticparcadei/Continuous-Claude-v3Problem-solving strategies for modular arithmetic in graph number theoryAlteleFără avertismente★ 3,9 K↓ —
- numerical-integrationparcadei/Continuous-Claude-v3Problem-solving strategies for numerical integration in numerical methodsAlteleFără avertismente★ 3,9 K↓ —
- session-logsaAAaqwq/AGI-Super-TeamSearch and analyze your own session logs (older/parent conversations) using jq.AlteleFără avertismente★ 112↓ —
- natural-transformationsparcadei/Continuous-Claude-v3Problem-solving strategies for natural transformations in category theoryAlteleFără avertismente★ 3,9 K↓ —
proof-failure-explainer
ArabelaTso/Skills-4-SE
AlteleActualizat 21 aug. 2026
De la autor
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.
Instalare
npx skills add ArabelaTso/Skills-4-SE --skill proof-failure-explainer -a claude-code
Se instalează în .claude/skills/proof-failure-explainer/ · Fiecare comandă descarcă skill-ul direct de pe GitHub cu utilitarul open source skills.
Descarcă .zip
Identic octet cu octet cu commit-ul scanat, cu licența depozitului și un fișier SOURCE.txt.
La ce are acces
Doar instrucțiuniNu am văzut acces la rețeaLicență: APACHE-2.0
Verificări de siguranță pe SKILL.md
Niciun avertisment.
De ce 83
Securitate100
Proveniență69
Întreținere85
Licență100
Adopție40
Fișiere (2)
- SKILL.md
- references/failure_patterns.md