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 60 de minute
9.668 de skill-uri
- roblox-inputTabooHarmony/roblox-brainUse when handling Roblox touch, gamepad, keyboard, mouse or motion input, on-screen action buttons, or cross-platform action binding.AlteleFără avertismente★ 127↓ —
- minimalist-stylearjun988/blender-skillsMinimalist and abstract-leaning art direction for Blender with reduced forms, limited palettes, and negative space.AlteleFără avertismente★ 849↓ —Apare și în 1 alt depozit
- roblox-player-psychologyTabooHarmony/roblox-brainUse when designing or reviewing player-behavior mechanics: first minute, rewards, streaks, daily rewards, pricing, RNG/pity, community.AlteleFără avertismente★ 127↓ —
- retro-8bit-stylearjun988/blender-skillsRetro 8-bit art direction for Blender-assisted pixel/low-res aesthetics inspired by NES-era constraints.AlteleFără avertismente★ 849↓ —Apare și în 1 alt depozit
- convergenceparcadei/Continuous-Claude-v3Problem-solving strategies for convergence in real analysisAlteleFără avertismente★ 3,9 K↓ —
- residuesparcadei/Continuous-Claude-v3Problem-solving strategies for residues in complex analysisAlteleFără avertismente★ 3,9 K↓ —
- async-repl-protocolparcadei/Continuous-Claude-v3Async REPL ProtocolAlteleFără avertismente★ 3,9 K↓ —
- math-progress-monitorparcadei/Continuous-Claude-v3Metacognitive check-ins during problem solving - detects when to pivot or persistAlteleFără avertismente★ 3,9 K↓ —Apare și în 1 alt depozit
- compactnessparcadei/Continuous-Claude-v3Problem-solving strategies for compactness in topologyAlteleFără avertismente★ 3,9 K↓ —Apare și în 1 alt depozit
- qualitygateThomasMoreAI/legal-skills-openFür Kanzlei-Management Qualitygate: prüft Ergebnis, Beweislast und Gegenposition; Ergebnis: Gegenprüfung mit Beweis- und Fristencheck.AlteleFără avertismente★ 95↓ —
- roblox-lightingTabooHarmony/roblox-brainUse when setting up or changing Roblox lighting, atmosphere, day/night cycles, or post-processing effects.AlteleFără avertismente★ 127↓ —
- limitsparcadei/Continuous-Claude-v3Problem-solving strategies for limits in real analysisAlteleFără avertismente★ 3,9 K↓ —Apare și în 1 alt depozit
- agent-contactsaAAaqwq/AGI-Super-TeamAI agent contacts — add, list, remove MCP contacts. Use when someone gives an agent URL, or when you need to view/remove contacts.AlteleFără avertismente★ 111↓ —
- lernsitzungThomasMoreAI/legal-skills-openFür Lerneinheit: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.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↓ —
- search-hierarchyparcadei/Continuous-Claude-v3Search Tool HierarchyAlteleFără avertismente★ 3,9 K↓ —
- parallel-agent-contractsparcadei/Continuous-Claude-v3Parallel Agent Type ContractsAlteleFără avertismente★ 3,9 K↓ —Apare și în 1 alt depozit
- bmad-oldmod-setupalvin-reyes/better-agentic-ideBetter Agentic Development EnvironmentAlteleFără avertismente★ 85↓ —
- takedown-zhou210712ThomasMoreAI/legal-skills-open起草"通知-删除"通知（依信息网络传播权保护条例）、对收到的通知进行分诊或起草反通知。 当通过著作权通知主张权利并经历合理使用和伪证双重关口，当收到的通知需要分诊为合规/ 反通知/协商/忽略选项，或当起草反通知并经历联邦管辖同意关口时使用。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↓ —
- graceful-degradationparcadei/Continuous-Claude-v3Graceful Degradation with Helpful MessagesAlteleFără avertismente★ 3,9 K↓ —Apare și în 1 alt depozit
- 日报成稿YiShu5/claude-skills把会议转写稿、会议笔记、聊天记录或零散工作事项整理成用户本人的固定格式日报（X月X日工作总结 / ✅已完成 / 🚶进行中 / 明日计划）。适用于：下班前写日报、从会议记录中提取个人日报、把零散事项汇总成今日工作总结、用户说'帮我写日报/提取我的日报/整理日报'时使用。核心原则：✅只给明确完成并有结果的事，进行中或状态不清统一用🚶，不把明日计划写成完成，没有依据不写，缺关键信息一次只问一个问题，输出先经用户核对。AlteleFără avertismente★ 131↓ —
- decision-journalitseffi/agentic-osCreate structured records of decisions with expected outcomes, probabilities, and quit conditions. Use for important decisions.AlteleFără avertismente★ 117↓ —
- open-setsparcadei/Continuous-Claude-v3Problem-solving strategies for open sets in topologyAlteleFără avertismente★ 3,9 K↓ —Apare și în 1 alt depozit
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