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 2 ore
10.066 de skill-uri
- bgb-btog-demenzThomasMoreAI/legal-skills-openFür BGB: Verhandlung, Vergleich und Eskalation: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt. Fachgebiet: Betreuungsrecht. Route: bgb-btog-demenz.AlteleFără avertismente★ 95↓ —
- expert-callsThomasMoreAI/legal-skills-openFür Expert Calls und Transkripte: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt. Fachgebiet: Großkanzlei Corporate/M&A.AlteleFără avertismente★ 95↓ —
- remote-workThomasMoreAI/legal-skills-openFür Remote Work: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt. Fachgebiet: Berufsrecht Notare.AlteleFără avertismente★ 95↓ —
- takedown-zhou210712ThomasMoreAI/legal-skills-open起草"通知-删除"通知（依信息网络传播权保护条例）、对收到的通知进行分诊或起草反通知。 当通过著作权通知主张权利并经历合理使用和伪证双重关口，当收到的通知需要分诊为合规/ 反通知/协商/忽略选项，或当起草反通知并经历联邦管辖同意关口时使用。AlteleFără avertismente★ 95↓ —
- ressort-bmiThomasMoreAI/legal-skills-openFür Ressort-Heranführung BMI: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.AlteleFără avertismente★ 95↓ —
- clearance-zhou210712ThomasMoreAI/legal-skills-open商标清除初步检索——排除性筛查+近似商标查询，产出标注清单而非清除法律意见。当新商标 被提出、被询问某商标是否可用或需要进行排除检索、或在完整专业检索前评估混淆可能性因素 时使用。本技能绝不作出商标无冲突的结论。AlteleFără avertismente★ 95↓ —
- clean-outputThomasMoreAI/legal-skills-openFür Clean-Output: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.AlteleFără avertismente★ 95↓ —
- kundenschutzThomasMoreAI/legal-skills-openFür Kundenschutz im Handelsvertretervertrag — Abwerbeverbote und Rechtsfolgen: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.AlteleFără avertismente★ 95↓ —
- alterlab-cellxgeneAlterLab-IEU/AlterLab-Academic-SkillsQuery the CZ CELLxGENE Census (200M+ cells) programmatically via cellxgene-census and TileDB-SOMA, slicing expression by tissue, disease, or cell type and returning AnnData. Use when pulling reference single-cell RNA-seq data from the largest curated public atlas, running population-scale queries, or benchmarking your data against a reference — for analyzing your own dataset use scanpy or scvi-tools. Part of the AlterLab Academic Skills suite.AlteleFără avertismente★ 78↓ —
- koordinierung-zweiThomasMoreAI/legal-skills-openFür FZ: Förderkoordinierung: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt. Fachgebiet: Forschungszulage-Antragstellung. Route: koordinierung-zwei.AlteleFără avertismente★ 95↓ —
- 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★ 95↓ —
- 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★ 95↓ —
- app-releaseluochang212/skill-zooUse when the user asks to release a new version, ship a build, or publish a Skill Zoo release. Also use when a tag push results in Homebrew 404 errors or missing artifact failures.AlteleFără avertismente★ 124↓ —
- zeugenbeistandThomasMoreAI/legal-skills-openFür Zeugenbeistand: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Schnittstellenkarte mit Zuständigkeits- und Nachweisfragen.AlteleFără avertismente★ 95↓ —
- pm-business-modelkonglong87/superPMUse when: 需要设计商业模式画布、规划盈利模式、制定定价策略、设计收入模型 Do NOT use when: 商业模式已确定且已验证、仅需简单定价调整而非全面设计AlteleFără avertismente★ 84↓ —
- worth-fixluochang212/skill-zoo分析和判断任何论断、报告、想法或需求的真实性、价值与做法。当用户说"这个 bug 是真的吗"、"分析一下这个问题/这个报告/这个说法"、"这个修复值得做吗"、"帮我看下这个建议靠不靠谱"，或用户给出一个待评估的 bug 报告、文章摘录、设计提案时使用。先核验、复现、定级、讲清原理、判断是否值得做，而不是直接相信或直接动手改代码。也适用于评估"要不要重构"。AlteleFără avertismente★ 124↓ —
- 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★ 95↓ —
- tauri-updaterluochang212/skill-zooUse when adding software auto-update to a Tauri 2 desktop app, or when users ask about tauri-plugin-updater integration, app update checking, distinguishing installer vs portable builds for updates, or generating update manifests for GitHub Releases.AlteleFără avertismente★ 124↓ —
- grace-refreshosovv/grace-marketplaceDetect drift between observed repository state and durable GRACE 4 .grace current state, then help create reconciliation changes.AlteleFără avertismente★ 256↓ —Apare și în 1 alt depozit
- source-verificationHezaoHezao/poirot验证信源可信度的研究过程知识，指导 agent 在涉及事实声明时交叉核验信源AlteleFără avertismente★ 256↓ —
- deadlinesThomasMoreAI/legal-skills-openTrack case deadlines — add, cross-case rollup report, update, complete, close. Warns at configurable thresholds (default 14/7/3/1 days); overdue items stay flagged until resolved. The operational record for a clinic workload. Use when a student or supervisor needs to add a deadline, ask what's due this week, get a deadline report, or update a case deadline.AlteleFără avertismente★ 95↓ —
- waerme-quartierThomasMoreAI/legal-skills-openFür Wärme, Quartier und Fernwärme: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.AlteleFără avertismente★ 95↓ —
- tvchartdeeleeramone/PyWryDrive a live TradingView Lightweight Charts widget end-to-end via PyWry MCP tools — symbol, interval, indicators, markers, price lines, layouts, state.AlteleFără avertismente★ 99↓ —
- tweetclawXquik-dev/tweetclawTwitter bot guide for OpenClaw. Post, reply, search tweets, export followers & monitor accounts through Xquik. Not affiliated with X Corp.AlteleFără avertismente★ 95↓ —
lemma-discovery-assistant
ArabelaTso/Skills-4-SE
AlteleActualizat 21 aug. 2026
De la autor
Analyze failed or stuck proofs and propose auxiliary lemmas to help complete the proof in Isabelle/HOL or Coq. Use when encountering proof failures, stuck proof states, unprovable subgoals, or when needing to strengthen induction hypotheses. Identifies missing lemmas, suggests proof strategies, and generates helper lemmas with appropriate statements and proof sketches. Supports inductive proofs, case analysis, rewriting, and complex proof obligations.
Instalare
npx skills add ArabelaTso/Skills-4-SE --skill lemma-discovery-assistant -a claude-code
Se instalează în .claude/skills/lemma-discovery-assistant/ · 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 (4)
- SKILL.md
- references/coq_lemmas.md
- references/isabelle_lemmas.md
- references/proof_patterns.md