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 3 minute
10.066 de skill-uri
- search-routerparcadei/Continuous-Claude-v3Choose the right search tool for each query typeAlteleFără avertismente★ 3,9 K↓ —Apare și în 1 alt depozit
- reference-sdkparcadei/Continuous-Claude-v3Check reference SDK implementations using btca askAlteleFă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
- 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
- spikeHezaoHezao/poirotThrowaway experiments to validate an idea before build.AlteleFără avertismente★ 256↓ —
- 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
- testimonial-proof-systemsTheGoat395/Codex-SkillsPresent attributable testimonials and proof.AlteleFără avertismente★ 134↓ —
- premortemparcadei/Continuous-Claude-v3Identify failure modes before they occur using structured risk analysisAlteleFără avertismente★ 3,9 K↓ —Apare și în 1 alt depozit
- find-skillsHezaoHezao/poirotDiscover available skills in the builtin library by keyword.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↓ —
- 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
- buscar-fontesemidio-trancoso/advocacia-abertaBusca legislação, súmulas, temas repetitivos e Jurisprudência em Teses no Vade Mecum local, preservando fonte, natureza documental, situação e efeito jurídico.AlteleFără avertismente★ 77↓ —Apare și în 3 alte depozite
- fga-rebac-authorization-expertNouroedyrustam/vibes-plugFine-grained ReBAC authorization (OpenFGA, SpiceDB) and permissions / Otorisasi granular ReBAC (OpenFGA, SpiceDB) dan kontrol izin.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
- wiringparcadei/Continuous-Claude-v3Wiring VerificationAlteleFără avertismente★ 3,9 K↓ —Apare și în 1 alt depozit
- 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↓ —
- debate-practice-coachtravisjneuman/.claudeInteractive debate and argument practice with structured feedback, counterargument generation, logical fallacy identification, and scoring rubrics. Use when preparing for debates, improving persuasion skills, or practicing argumentation.AlteleFără avertismente★ 106↓ —
- cp-skill-validatezby/commonplaceRun deterministic validation on KB artifacts, collections, collection landings, and the published redirect map, including schemas, links, required sections, and batch signals.AlteleFără avertismente★ 92↓ —
- simpo-loss-functioncxcscmu/SkillLearnBenchImplement SimPO loss with length-normalized rewards and target margin.AlteleFără avertismente★ 91↓ —
- 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
- source-verificationHezaoHezao/poirot验证信源可信度的研究过程知识，指导 agent 在涉及事实声明时交叉核验信源AlteleFără avertismente★ 256↓ —
- hello-worldDeadHead04/skillEdReturn a short greeting when the user asks to be greeted.AlteleFără avertismente★ 74↓ —
- 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
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