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.935 de skill-uri din 2.309 depozite · actualizat acum 14 minute
10.097 de skill-uri
- b2b-shop-b2cThomasMoreAI/legal-skills-openFür B2B-Shop und Unternehmernachweis: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.AlteleFără avertismente★ 97↓ —
- a2a-agent-protocol-expertroedyrustam/vibes-plugA2A agent protocol interoperability, Agent Cards, and MCP bridging / Protokol agen A2A, Agent Cards, dan integrasi MCP.AlteleFără avertismente★ 116↓ —
- claims-guideThomasMoreAI/legal-skills-openSchadenfall-Guide und Entscheidungslogik. Leitet Schritt fuer Schritt durch jeden Schadenfall (Unfall, Krankheit, Haftpflicht, Hausrat, Auto, Rechtsschutz, Todesfall, Invaliditaet). Liefert Self-Service-Checklisten, klaert wann und wie melden, welche Nachweise noetig sind, und wie Fristen und Kommunikation laufen. Schweizer Kontext als Standard. Triggert bei Fragen zu Schadenfall, Schadenmeldung, Unfall melden, Versicherung melden, was tun bei Schaden, Schadenformular, Versicherungsfall, Schadenanspruch, Frist versaeumt, Versicherung zahlt nicht, Leistungsablehnung, Einsprache, Schadenregulierung.AlteleFără avertismente★ 97↓ —
- 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★ 122↓ —
- 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★ 123↓ —
- blender-iterative-refinementActualizatifBars/blender-agent-studioRun an opt-in evidence-backed second pass on a complete Blender deliverable. Use when the user explicitly asks to critique, improve, repair, iterate, or apply a practice-makes-perfect loop; when a benchmark fixture explicitly requires retained before-and-after evidence; or when a completed candidate must be improved without regressing its existing technical or visible qualities.AlteleFără avertismente★ 98↓ —
- rueckruf-musterThomasMoreAI/legal-skills-openFür Rückruf vergriffenes Werk und Neuauflage: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.AlteleFără avertismente★ 97↓ —
- flashcardsThomasMoreAI/legal-skills-openGenerate or drill flashcards for rule memorization — Leitner-style buckets, per-subject markdown storage, drill mode with self-assessment. Use when the user says "drill flashcards", "make flashcards from", "quiz me on cards", or wants to memorize rules.AlteleFără avertismente★ 97↓ —
- junior-mentorThomasMoreAI/legal-skills-openFür Junior Mentor Training Loop: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt. Fachgebiet: Großkanzlei Corporate/M&A. Route: junior-mentor.AlteleFără avertismente★ 97↓ —
- verwirkungThomasMoreAI/legal-skills-openFür Verwirkung von Handelsvertreter-Ansprüchen nach Paragraf 242 BGB: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.AlteleFără avertismente★ 97↓ —
- ressort-bmdsThomasMoreAI/legal-skills-openFür Ressort-Heranführung BMDS: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt. Fachgebiet: Legistik-Werkstatt. Route: ressort-bmds.AlteleFără avertismente★ 97↓ —
- ampel-systemThomasMoreAI/legal-skills-openFür Ampelsystem für Status: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.AlteleFără avertismente★ 97↓ —
- agent-ready-personal-agent-protocolfabricioctelles/skillsSub-skill: Implement Personal Agent Protocol (Poppy) discovery. Publish /.well-known/poppy.json (draft 0.1) and validate its OAuth issuer binding. Informational check; does not affect level or score.AlteleFără avertismente★ 123↓ —
- janitor-fixkhendzel/skills-janitorAutomatically fix skill problems (safe preview first). Also use with --prune to find and remove broken symlinks, empty directories, and orphaned skills. Trigger with '/janitor-fix'.AlteleFără avertismente★ 123↓ —
- pension-bavThomasMoreAI/legal-skills-openFür Pension bAV Liabilities: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.AlteleFără avertismente★ 97↓ —
- ip-assignmentThomasMoreAI/legal-skills-openDrafts intellectual property assignment agreements transferring patents, trademarks, copyrights, and trade secrets. Covers conveyancing language, registration recordation, consideration, representations and warranties, and post-closing obligations. Use when drafting IP assignments, asset purchase IP transfers, or technology transfer documents.AlteleFără avertismente★ 97↓ —
- bea-erv-riskThomasMoreAI/legal-skills-openFür beA und ERV Risiko: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.AlteleFără avertismente★ 97↓ —
- bmod-orphanalvin-reyes/better-agentic-ideBetter Agentic Development EnvironmentAlteleFără avertismente★ 85↓ —
- urhg-quellenkarteThomasMoreAI/legal-skills-openFür Urhg Quellenkarte: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.AlteleFără avertismente★ 97↓ —
- leasing-agbThomasMoreAI/legal-skills-openFür Leasing AGB: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.AlteleFără avertismente★ 97↓ —
- verificationitseffi/agentic-osVerify before claiming completion. No claims without fresh verification evidence. Use before marking work done.AlteleFără avertismente★ 117↓ —
- anlagenpaketThomasMoreAI/legal-skills-openFür Anlagenpaket: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.AlteleFără avertismente★ 97↓ —
- llm-app-developmenttravisjneuman/.claudeLLM app development with RAG, prompt engineering, vector databases, and AI agentsAlteleFără avertismente★ 106↓ —
- frontier-ai-models-expertroedyrustam/vibes-plugFrontier AI models orchestration (Grok 4.7, Gemini 4, Claude 5.5) / Orkestrasi model AI frontier (Grok 4.7, Gemini 4, Claude 5.5).AlteleFără avertismente★ 116↓ —
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