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.
45.100 de skill-uri din 2.196 de depozite · actualizat acum 7 ore
9.668 de skill-uri
- repo-mapejboy/agent-scriptsCompatibility skill for existing RepoMap instructions. RepoLink and repolink are canonical for new usage.AlteleFără avertismente★ 117↓ —
- disk-cleanermajiayu000/spellbook当用户要扫描磁盘空间、找出可安全删除的缓存/编译产物/安装包、或交互式释放空间时使用。AlteleFără avertismente★ 288↓ —
- almergepaleo/alignfirstExecute the AlignFirst merge protocol.AlteleFără avertismente★ 86↓ —
- zhangyi-systemsaph199686/zhangyi-studio张翼机制与系统设计：核心循环细化、新机制评审过闸、数值纪律与平衡裁决。每个机制必须回答'解决哪个病灶'、区分'强化内核还是堆系统'、推演诱发的玩家行为与情绪，输出系统裁决书。Use when the user designs mechanics/systems, tunes numbers or balance, evaluates adding a new mechanic, designs core loop details, or asks whether a feature is worth building. 用户设计机制与系统、调数值做平衡、纠结加不加某个机制、细化核心循环、或问某个功能值不值得做时使用。AlteleFără avertismente★ 119↓ —
- limitsparcadei/Continuous-Claude-v3Problem-solving strategies for limits in real analysisAlteleFără avertismente★ 3,9 K↓ —Apare și în 1 alt depozit
- draft-responseBevel-Software/HexisDraft a professional customer-facing response tailored to the situation and relationship. Use when answering a product question, responding to an escalation or outage, delivering bad news like a delay or won't-fix, declining a feature request, or replying to a billing issue.AlteleFără avertismente★ 120↓ —
- ardot-create-new-filebalabalabalading/huuuuuuho-skills**强制性前置条件** — 每次调用 `create_new_page` 工具之前，必须先调用此技能。 未经加载此技能，绝不能直接调用 `create_new_page`。 当用户想要在 Ardot 设计文件中创建新页面时触发。 关键词：在 Ardot 上下文中的"创建新页面"、"添加页面"、"新画布"。AlteleFără avertismente★ 118↓ —
- parallel-agent-contractsparcadei/Continuous-Claude-v3Parallel Agent Type ContractsAlteleFără avertismente★ 3,9 K↓ —Apare și în 1 alt depozit
- startup-ideafabricioctelles/skillsAnalyze startups with Paul Graham mindset (pressure, founder-market fit, brutal validation), Dan Koe discipline (monetization, offer, distribution, sales), and Seth Godin principles (differentiation, narrative, smallest viable audience). Triggers on startup idea, business validation, MVP, first customers, revenue model, GTM, product-market fit, "I have an idea".AlteleFără avertismente★ 121↓ —
- agent-ready-mppfabricioctelles/skillsSub-skill: Implement MPP Payment Discovery. Publish OpenAPI with x-payment-info extensions so AI agents discover payable endpoints via Machine Payment Protocol (mpp.dev).AlteleFără avertismente★ 121↓ —
- expansion-whitespaceBevel-Software/HexisFind the expansion whitespace in an account or a book - what they own vs. what they could own, the evidence for each play, and the open opps to create. Use when the user asks "what's the whitespace at [account]", "where can I expand [account]", "upsell opportunities in my book", or "which customers should I be growing".AlteleFără avertismente★ 120↓ —
- template-usageharness/harness-skillsTrack Harness template dependencies, usage, and adoption via MCP v2 tools. Find which pipelines or other templates reference a given template, analyze update impact, identify unused templates, and compare version adoption. Use when asked about template usage, template references, template dependencies, impact analysis before updating a template, finding unused templates, or tracking template adoption across projects. Trigger phrases: template usage, who uses template, template references, template dependencies, template impact, unused templates, template adoption. Do NOT use for creating or updating templates (use create-template instead).AlteleFără avertismente★ 125↓ —
- qlty-during-developmentparcadei/Continuous-Claude-v3QLTY During DevelopmentAlteleFără avertismente★ 3,9 K↓ —Apare și în 1 alt depozit
- search-hierarchyparcadei/Continuous-Claude-v3Search Tool HierarchyAlteleFără avertismente★ 3,9 K↓ —
- decision-reversibilityitseffi/agentic-osClassify decisions as Hat/Haircut/Tattoo by reversibility. Use to calibrate how much analysis a decision deserves.AlteleFără avertismente★ 117↓ —
- grace-askosovv/grace-marketplaceAnswer questions about a GRACE 4 project by navigating .grace current-state artifacts and file-local semantic markup.AlteleFără avertismente★ 254↓ —Apare și în 1 alt depozit
- 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".AlteleFără avertismente★ 120↓ —
- open-setsparcadei/Continuous-Claude-v3Problem-solving strategies for open sets in topologyAlteleFără avertismente★ 3,9 K↓ —Apare și în 1 alt depozit
- stakeholder-mapBevel-Software/HexisMap the people in a deal or account - roles, influence, sentiment, who's missing, and your best access path to the people you haven't reached. Use when the user asks "who are the players at [account]", "who's my way in", "am I single-threaded on [deal]", "map the stakeholders", or "who else should I be talking to".AlteleFără avertismente★ 120↓ —
- prop-asset62656456/ai-film-skills根据剧情、使用方式与美术方向设计道具形制、结构、材质及多视角/关键细节设定图。用于道具设计、道具资产、道具设定图、道具细节图、prop、物品图；输出静态参考图任务说明与资产合同， 本 Skill 独立完成静态参考图任务说明、资产锁定、审核字段、负向约束和可供后续制作直接读取的资产合同。AlteleFără avertismente★ 92↓ —
- update-flag-targetingharness/harness-skillsChange how a Harness FME feature flag serves traffic in environments. Covers percentage rollout, individual targets, targeting rules (attribute/segment/flag-dependency), defaultTreatment, trafficAllocation, treatments, kill/restore, and copying or initializing a definition in an environment. Use when asked to ramp a flag, add rules/users, change allocation, kill/restore, or promote config. Not for creating flags (create-feature-flag), metadata like tags/owners/archive (manage-flag-lifecycle), segment keys (manage-segments), pipeline rollouts (fme-pipeline), or flag analysis (explain-flag). Trigger phrases: update targeting, ramp flag, percentage rollout, add rule, add users, kill flag, restore, copy config.AlteleFără avertismente★ 125↓ —
- verification-before-completionSummerEngine/summerRun verification and read its output before claiming work done, fixed or passing: evidence first.AlteleFără avertismente★ 88↓ —Apare și în 1 alt depozit
- graceful-degradationparcadei/Continuous-Claude-v3Graceful Degradation with Helpful MessagesAlteleFără avertismente★ 3,9 K↓ —Apare și în 1 alt depozit
- search-toolsparcadei/Continuous-Claude-v3Search Tool HierarchyAlteleFă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