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 2 ore
9.541 de skill-uri
- verification-before-completionSummerEngine/summerRun verification and read its output before claiming work done, fixed or passing: evidence first.AlteleFără avertismente★ 89↓ —Apare și în 1 alt depozit
- decision-reversibilityitseffi/agentic-osClassify decisions as Hat/Haircut/Tattoo by reversibility. Use to calibrate how much analysis a decision deserves.AlteleFără avertismente★ 117↓ —
- preisangabenThomasMoreAI/legal-skills-openFür Preisangaben (PAngV 2022): ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.AlteleFără avertismente★ 96↓ —
- agent-orchestrationmrpulor-gh/nuphusNuphus — 本地优先的 AI Agent：真实桌面执行力 + 手机第二块屏幕。Local-first AI agent with real desktop execution and dual-device real-time sync.AlteleFără avertismente★ 89↓ —
- quick-win-sessionrshankras/claude-code-apple-skillsGenerates guided first-action flows that help users achieve a meaningful result within 60 seconds to boost retention. Use when user wants quick win onboarding, time-to-value optimization, or first success moments.AlteleFără avertismente★ 840↓ —
- keel-audittonone-ai/tononeOperational efficiency audit — identify waste, redundancy, and friction across processes, tools, and team workflows. Use when asked to "audit our operations for waste", "where are we inefficient", "what tools are we paying for but not using", or "reduce operational overhead".AlteleFără avertismente★ 76↓ —
- explain-flagharness/harness-skillsExplain a single FME feature flag in plain language: purpose, default rule, and per-environment targeting state, flagging inconsistencies across environments inline. A quick-lookup/explain capability, not a search across many flags - disambiguates when the name/key given is ambiguous. Doesn't create, kill, or modify anything - see update-flag-targeting for targeting changes, manage-flag-lifecycle for metadata/archive, discover-feature-flags for multi-flag questions, manage-experiments for experiments. Trigger phrases: what does this flag do, explain this flag, how is X configured, is X on in prod, what's targeted for X.AlteleFără avertismente★ 126↓ —
- tools-internalmrpulor-gh/nuphusNuphus — 本地优先的 AI Agent：真实桌面执行力 + 手机第二块屏幕。Local-first AI agent with real desktop execution and dual-device real-time sync.AlteleFără avertismente★ 89↓ —
- skill-verwalterThomasMoreAI/legal-skills-openFür Skill-Manager: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.AlteleFără avertismente★ 96↓ —
- verfahrenThomasMoreAI/legal-skills-openFür Umweltrechtliche Verwaltungs- und Gerichtsverfahren: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.AlteleFără avertismente★ 96↓ —
- instrument-metricharness/harness-skillsWire up a track() call for a metric's event, placed at the real outcome, and verify it arrives. Doesn't create the metric (create-metric) or choose it (choose-metric). Trigger phrases: instrument this event, add a track call, wire up tracking, verify the event arrives.AlteleFără avertismente★ 126↓ —
- agentsclaude-world/director-mode-liteList all available agents (core, expert, self-evolving). Use when the user asks what agents are available or runs /agents.AlteleFără avertismente★ 80↓ —
- influence-strategiesitseffi/agentic-osGenerate influence strategies using Cialdini's seven principles. Use when you need to influence toward an outcome.AlteleFără avertismente★ 117↓ —
- duldung-60aThomasMoreAI/legal-skills-openFür Duldung Paragraf 60a: Fachmodul im Migrationsrecht: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.AlteleFără avertismente★ 96↓ —
- release-postermrpulor-gh/nuphusNuphus — 本地优先的 AI Agent：真实桌面执行力 + 手机第二块屏幕。Local-first AI agent with real desktop execution and dual-device real-time sync.AlteleFără avertismente★ 89↓ —
- zeugenbeistandThomasMoreAI/legal-skills-openFür Zeugenbeistand: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Schnittstellenkarte mit Zuständigkeits- und Nachweisfragen.AlteleFără avertismente★ 96↓ —
- mcp-toolsmrpulor-gh/nuphusNuphus — 本地优先的 AI Agent：真实桌面执行力 + 手机第二块屏幕。Local-first AI agent with real desktop execution and dual-device real-time sync.AlteleFără avertismente★ 89↓ —
- shapely-computeparcadei/Continuous-Claude-v3Computational geometry with Shapely - create geometries, boolean operations, measurements, predicatesAlteleFără avertismente★ 3,9 K↓ —Apare și în 1 alt depozit
- apple-ecosystem-expertroedyrustam/vibes-plugApple ecosystem development: iOS support, Safari WebKit, and HIG / Pengembangan ekosistem Apple: kompatibilitas iOS, Safari, dan HIG.AlteleFără avertismente★ 115↓ —
- due-diligenceThomasMoreAI/legal-skills-openFür Kommerzielle Vertrags-DD: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt. Fachgebiet: Großkanzlei Corporate/M&A.AlteleFără avertismente★ 96↓ —
- 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★ 126↓ —
- widget-coherenceserac-labs/seracBuild Service Portal widgets (sp_widget) with synchronized server/client/HTML — data.* initialization, ng-click + controller method matching, c.server.get action handlers, and Angular directive usage.AlteleFără avertismente★ 77↓ —
- create-templateharness/harness-skillsGenerate Harness v0 Template YAML for reusable pipeline components (Step, Stage, Pipeline, StepGroup) and create them via MCP. Use when asked to create a template, build a step template, stage template, pipeline template, or reusable step. Do NOT use for checking template usage or references (use template-usage instead). Trigger phrases: create template, step template, stage template, pipeline template, reusable step, template YAML.AlteleFără avertismente★ 126↓ —
- migrate-pipelineharness/harness-skillsMigrate Harness pipelines from v0 to v1 simplified format via MCP tools. Converts expressions from angle-bracket to ${{ }} syntax, lowercases type names, simplifies structure, and preserves variables, failure strategies, and conditional logic. Use when asked to migrate a pipeline, convert v0 to v1, upgrade pipeline format, modernize pipeline syntax, or compare v0 vs v1. Trigger phrases: migrate pipeline, convert to v1, upgrade pipeline, v0 to v1, modernize pipeline, simplified format.AlteleFără avertismente★ 126↓ —
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