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.
47.307 skill-uri din 2.272 de depozite · actualizat acum 8 ore
10.066 de skill-uri
- dream-weirdcore-stylearjun988/blender-skillsDreamcore, weirdcore, and traumacore-inspired art direction for Blender with nostalgic wrongness, liminal nostalgia, and surreal childhood spaces.AlteleFără avertismente★ 1,2 K↓ —Apare și în 1 alt depozit
- search-toolsparcadei/Continuous-Claude-v3Search Tool HierarchyAlteleFără avertismente★ 3,9 K↓ —Apare și în 1 alt depozit
- pint-computeparcadei/Continuous-Claude-v3Unit-aware computation with Pint - convert units, dimensional analysis, unit arithmeticAlteleFără avertismente★ 3,9 K↓ —Apare și în 1 alt depozit
- morph-searchparcadei/Continuous-Claude-v3Fast codebase search via WarpGrep (20x faster than grep)AlteleFără avertismente★ 3,9 K↓ —Apare și în 1 alt depozit
- mathparcadei/Continuous-Claude-v3Unified math capabilities - computation, solving, and explanation. I route to the right tool.AlteleFără avertismente★ 3,9 K↓ —Apare și în 2 alte depozite
- podmanlingxling/awesome-skills-cnManage containers using Podman, the daemonless container engine.AlteleFără avertismente★ 323↓ —
- geojson-processingcxcscmu/SkillLearnBenchLoading and processing GeoJSON earthquake and plate boundary data with GeoPandas for spatial analysis.AlteleFără avertismente★ 91↓ —
- incident-managementserac-labs/seracManage ServiceNow incidents — creation with impact/urgency priority calc, auto-assignment by category, reassignment tracking, major incident declaration with bridge calls, time-based escalation, MTTR metrics.AlteleFără avertismente★ 78↓ —
- premortemparcadei/Continuous-Claude-v3Identify failure modes before they occur using structured risk analysisAlteleFără avertismente★ 3,9 K↓ —Apare și în 1 alt depozit
- math-helpparcadei/Continuous-Claude-v3Guide to the math cognitive stack - what tools exist and when to use eachAlteleFără avertismente★ 3,9 K↓ —Apare și în 1 alt depozit
- daily-trendingaAAaqwq/AGI-Super-Team获取今日热榜，从tophub.today抓取各平台热搜榜单。当用户询问"今天有什么热搜"、"热榜"、"微博热搜"时触发。AlteleFără avertismente★ 111↓ —
- mcp-sampling-criticroedyrustam/vibes-plugMCP client sampling and critic-in-the-loop multi-model consensus / Sampling MCP client dan validasi konsensus multi-model AI.AlteleFără avertismente★ 115↓ —
- onboardparcadei/Continuous-Claude-v3Analyze brownfield codebase and create initial continuity ledgerAlteleFără avertismente★ 3,9 K↓ —Apare și în 1 alt depozit
- rationaleNoobyGains/godmodeUse when the user asks for new work such as a feature, component, integration, service or dependency, especially when the request names a solution instead of a problem, the scope looks larger than the user may expect, or the motivation is that other products have itAlteleFără avertismente★ 115↓ —
- scoped-appsserac-labs/seracBuild ServiceNow scoped applications (x_vendor_app) — scope naming, x_-prefixed tables, cross-scope script include access via GlideScopedEvaluator, application properties, scoped REST APIs, and store-publishing checklist.AlteleFără avertismente★ 78↓ —
- wiringparcadei/Continuous-Claude-v3Wiring VerificationAlteleFără avertismente★ 3,9 K↓ —Apare și în 1 alt depozit
- continuity-ledgerparcadei/Continuous-Claude-v3Create or update continuity ledger for state preservation across clearsAlteleFără avertismente★ 3,9 K↓ —Apare și în 1 alt depozit
- search-hierarchyparcadei/Continuous-Claude-v3Search Tool HierarchyAlteleFără avertismente★ 3,9 K↓ —
- cmuxlingxling/awesome-skills-cnControl cmux workspaces, panes, surfaces, and agent sessions safely from macOS terminal workflows.AlteleFără avertismente★ 323↓ —
- hello-worldDeadHead04/skillEdReturn a short greeting when the user asks to be greeted.AlteleFără avertismente★ 74↓ —
- d3-interactive-chartscxcscmu/SkillLearnBenchD3.js techniques for tooltips, hover effects, click handlers, and cross-filtering between visualizationsAlteleFără avertismente★ 91↓ —
- thinking-simonaAAaqwq/AGI-Super-Team蒸馏 Jim Simons（文艺复兴科技）思维模式的实用框架：量化思维、大量小交易、数学即优势AlteleFără avertismente★ 111↓ —
- hr-service-deliveryserac-labs/seracBuild ServiceNow HR Service Delivery — sn_hr_core_case from Employee Center or HR catalog, sn_hr_le_lifecycle_event onboarding/offboarding with templated activities, and HR document generation.AlteleFără avertismente★ 78↓ —
- service-portal-pagesserac-labs/seracThe container side of Service Portal — the sp_portal → sp_page → sp_row → sp_column → sp_instance hierarchy, why widget options belong on the instance and not the widget, cloning pages, and what is theme (sp_theme, sp_brand, sp_css) rather than page.AlteleFără avertismente★ 78↓ —
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