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.095 de skill-uri din 2.198 de depozite · actualizat acum 7 minute
9.543 de skill-uri
- budget-managementcxcscmu/SkillLearnBenchTrack and manage travel budget across accommodations, meals, and activitiesAlteleFără avertismente★ 91↓ —
- parallel-agentsparcadei/Continuous-Claude-v3Parallel Agent OrchestrationAlteleFără avertismente★ 3,9 K↓ —Apare și în 1 alt depozit
- bounded-engine-runsSummerEngine/summerRun Summer headless or offscreen safely: time limits, one engine per project, import passes, crash checks.AlteleFără avertismente★ 89↓ —Apare și în 1 alt depozit
- website-operating-rulesTheGoat395/Codex-SkillsCoordinate cross-phase web execution/evidence.AlteleFără avertismente★ 135↓ —
- convex-optimizationparcadei/Continuous-Claude-v3Problem-solving strategies for convex optimization in optimizationAlteleFără avertismente★ 3,9 K↓ —
- pm-journeykonglong87/superPMUse when: 需要理解用户体验全链路、发现用户痛点与机会点、优化用户转化流程 Do NOT use when: 用户流程已非常清晰、仅需单一功能分析而非全局体验AlteleFără avertismente★ 84↓ —
- portfolio-analysiscxcscmu/SkillLearnBenchAnalyzing fund portfolios including AUM extraction, holdings counts, and portfolio compositionAlteleFără avertismente★ 91↓ —
- wikiskill-proposerashutoshsinghpr7/wikiskillPropose skills from wiki patterns and traces (WikiSkill).AlteleFără avertismente★ 286↓ —
- search-routerparcadei/Continuous-Claude-v3Choose the right search tool for each query typeAlteleFără avertismente★ 3,9 K↓ —Apare și în 1 alt depozit
- agentica-spawnparcadei/Continuous-Claude-v3Spawn Agentica multi-agent patternsAlteleFă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
- nextjs-server-client-boundariesTheGoat395/Codex-SkillsSet use client and Server Function boundaries.AlteleFără avertismente★ 135↓ —
- search-toolsparcadei/Continuous-Claude-v3Search Tool HierarchyAlteleFă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
- zhuangxiu-wujin-xuangou-zhinanzx029w/zhuangxiu-skills装修五金选购指南专用 Skill。覆盖地漏与下水、龙头花洒与水槽、铰链滑轨与家具五金、门锁与挂件、选购原则与避坑、五金综合等全流程，倒序整合西安装修课堂会员版知识库精华，帮用户装出更省心、不踩坑的装修五金选购。AlteleFără avertismente★ 86↓ —
- cizhuan-mudiban-xuangou-zhinanzx029w/zhuangxiu-skills瓷砖木地板选购指南专用 Skill。覆盖木纹砖与通铺、铺贴工艺、木地板选购、踢脚线与过门石、厨卫砖、瓷砖选购等全流程，倒序整合西安装修课堂会员版知识库精华，帮用户装出更省心、不踩坑的瓷砖木地板选购。AlteleFără avertismente★ 86↓ —
- pet-friendly-filteringcxcscmu/SkillLearnBenchFiltering accommodations for pet-friendly stays by analyzing house_rules field in accommodation data.AlteleFără avertismente★ 91↓ —
- 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
- hunt-ntlm-infoadriannoes/awesome-agentic-aiAgentic AI knowledge hub: 408 Cursor/Claude/Codex skills, 108 papers, 201 ML notebooks, 9 textbooks, 112 curated repos, 5,380 OpenClaw skills. Vendored skills + link-only catalogs. Start at AGENTS.md.AlteleFără avertismente★ 89↓ —
- onboardparcadei/Continuous-Claude-v3Analyze brownfield codebase and create initial continuity ledgerAlteleFără avertismente★ 3,9 K↓ —Apare și în 1 alt depozit
- 13f-searchcxcscmu/SkillLearnBench[COLM'26] SkillLearnBench is the first benchmark for evaluating continual learning methods that automatically generate agent skills.AlteleFără avertismente★ 91↓ —
- wiringparcadei/Continuous-Claude-v3Wiring VerificationAlteleFără avertismente★ 3,9 K↓ —Apare și în 1 alt depozit
- hello-worldDeadHead04/skillEdReturn a short greeting when the user asks to be greeted.AlteleFără avertismente★ 74↓ —
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