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 5 ore
45.098 de skill-uri
- huggingface-accelerateOrchestra-Research/AI-Research-SKILLsSimplest distributed training API. 4 lines to add distributed support to any PyTorch script. Unified API for DeepSpeed/FSDP/Megatron/DDP. Automatic device placement, mixed precision (FP16/BF16/FP8). Interactive config, single launch command. HuggingFace ecosystem standard.InginerieFără avertismente★ 14 K↓ —Apare și în 1 alt depozit
- workers-best-practicescloudflare/skillsCloudflare Workers best practices for production applications. Use when writing, reviewing, or configuring Workers.OficialDevOpsFără avertismente★ 3,2 K↓ —
- code-documentationflutter/agent-pluginsGuide for writing effective code documentation, including docstrings, JSDoc, dartdoc, and implementation comments. Use this skill when writing new code, adding features, or improving existing documentation in Dart, Python, or TypeScript to ensure clarity and maintainability.OficialInginerieFără avertismente★ 3,1 K↓ —
- skypilot-multi-cloud-orchestrationOrchestra-Research/AI-Research-SKILLsMulti-cloud orchestration for ML workloads with automatic cost optimization. Use when you need to run training or batch jobs across multiple clouds, leverage spot instances with auto-recovery, or optimize GPU costs across providers.AlteleFără avertismente★ 14 K↓ —Apare și în 2 alte depozite
- skillkrillinai/OpenCreatorFormerly KrillinAI, VideoTranslation and Dubbing Tool. Open-source AI workspace for creators, powered by Codex. Video downloading, video translation, create videos, images, voice, avatars, and edits with Agents in one place. Suitable for your Social Media like YouTube, TikTok, Instagram, etc.MediaFără avertismente★ 13,9 K↓ —
- sandbox-migrate-to-nextcloudflare/skillsMigrate Cloudflare Sandbox apps from stable @cloudflare/sandbox to @cloudflare/sandbox@next (SDK 1.0 preview). Use sandbox-next for apps already on the preview.OficialDevOpsFără avertismente★ 3,2 K↓ —
- krillinai-coverkrillinai/OpenCreatorUse when generating a cover image with the KrillinAI CLI from a complete image prompt, including validating image-provider configuration and inspecting the generated image and saved prompt.MediaFără avertismente★ 13,9 K↓ —
- krillinai-pipelinekrillinai/OpenCreatorUse when validating or documenting a multi-stage KrillinAI CLI output plan; the current pipeline command supports dry-run planning only, not end-to-end execution.PlanificareFără avertismente★ 13,9 K↓ —
- rebuttalwanshuiyin/Auto-claude-code-research-in-sleepWorkflow 4: Submission rebuttal pipeline. Parses external reviews, enforces coverage and grounding, drafts a safe text-only rebuttal under venue limits, and manages follow-up rounds. Use when user says "rebuttal", "reply to reviewers", "ICML rebuttal", "OpenReview response", or wants to answer external reviews safely.ProductivitateFără avertismente★ 18,1 K↓ —
- cloudflarecloudflare/skillsDiscover and choose Cloudflare products for apps, APIs, AI agents, storage, networking, and security. Use for architecture and product selection, including when the user describes a need without naming a Cloudflare product; then find the relevant skill or documentation.OficialDevOpsFără avertismente★ 3,2 K↓ —
- sandbox-stablecloudflare/skillsBuild or maintain Cloudflare Sandbox apps on the stable @cloudflare/sandbox package. Use sandbox-next for preview apps and sandbox-migrate-to-next for stable-to-preview migrations.OficialDevOpsFără avertismente★ 3,2 K↓ —
- vast-gpuwanshuiyin/Auto-claude-code-research-in-sleepRent, manage, and destroy GPU instances on vast.ai. Use when user says "rent gpu", "vast.ai", "rent a server", "cloud gpu", or needs on-demand GPU without owning hardware.AlteleFără avertismente★ 18,1 K↓ —
- krillinai-subtitlekrillinai/OpenCreatorUse when generating subtitles with KrillinAI CLI from a YouTube link, Bilibili/local video, or existing media, including platform caption download, Whisper fallback, translation, bilingual SRT, and short vertical subtitle output.MediaFără avertismente★ 13,9 K↓ —
- unslothOrchestra-Research/AI-Research-SKILLsExpert guidance for fast fine-tuning with Unsloth - 2-5x faster training, 50-80% less memory, LoRA/QLoRA optimizationProductivitateFără avertismente★ 14 K↓ —Apare și în 2 alte depozite
- citation-auditwanshuiyin/Auto-claude-code-research-in-sleepZero-context verification that every bibliographic entry in the paper is real, correctly attributed, and used in a context the cited paper actually supports — catching hallucinated authors, wrong years, fabricated venues, version mismatches, and wrong-context citations. Use when user says "审查引用", "check citations", "citation audit", "verify references", "引用核对", or before submission to ensure bibliography integrity.ȘtiințăFără avertismente★ 18,1 K↓ —
- proof-checkerwanshuiyin/Auto-claude-code-research-in-sleepRigorous mathematical proof verification and fixing workflow. Reads a LaTeX proof, identifies gaps via cross-model review (external reviewer backend, ultra reasoning), fixes each gap with full derivations, re-reviews, and generates an audit report. Use when user says "检查证明", "verify proof", "proof check", "审证明", "check this proof", or wants rigorous mathematical verification of a theory paper.ȘtiințăFără avertismente★ 18,1 K↓ —
- paper-planwanshuiyin/Auto-claude-code-research-in-sleepGenerate a structured paper outline from review conclusions and experiment results. Use when user says "写大纲", "paper outline", "plan the paper", "论文规划", or wants to create a paper plan before writing.ȘtiințăFără avertismente★ 18,1 K↓ —
- web-perfcloudflare/skillsAudit, diagnose, or optimize website loading and interaction performance, Core Web Vitals, and Lighthouse performance scores.OficialAlteleFără avertismente★ 3,2 K↓ —
- wranglercloudflare/skillsRun or troubleshoot Wrangler CLI commands in projects that have a wrangler.jsonc, wrangler.json, or wrangler.toml file, including local development, Previews, deployment, and resource management. For new projects and projects without a Wrangler configuration file, use the cf CLI instead.OficialDevOpsFără avertismente★ 3,2 K↓ —
- skill-builderyusufkaraaslan/Skill_SeekersAutomatically detect source types and build AI skills using Skill Seekers. Use when the user wants to create skills from documentation, repos, PDFs, videos, or other knowledge sources.AlteleFără avertismente★ 15,2 K↓ —
- faissOrchestra-Research/AI-Research-SKILLsFacebook's library for efficient similarity search and clustering of dense vectors. Supports billions of vectors, GPU acceleration, and various index types (Flat, IVF, HNSW). Use for fast k-NN search, large-scale vector retrieval, or when you need pure similarity search without metadata. Best for high-performance applications.AlteleFără avertismente★ 14 K↓ —
- krillinai-ttskrillinai/OpenCreatorUse when generating target-language dubbing with KrillinAI CLI from SRT subtitles, including TTS audio creation and optional dubbed video generation.MediaFără avertismente★ 13,9 K↓ —
- agents-sdkcloudflare/skillsBuild, debug, or review Cloudflare Agents SDK applications using the agents package.OficialDevOpsFără avertismente★ 3,2 K↓ —
- exa-searchwanshuiyin/Auto-claude-code-research-in-sleepAI-powered web search via Exa with content extraction. Use when user says "exa search", "web search with content", "find similar pages", or needs broad web results beyond academic databases (arXiv, Semantic Scholar).ȘtiințăFără avertismente★ 18,1 K↓ —
lean-formalize
wanshuiyin/Auto-claude-code-research-in-sleep
RedactareActualizat alaltăieri
De la autor
Develop and verify a mathematical proof in Lean, continue an incomplete Lean project, or audit whether it proves the original statement. Connect actual inputs to intermediate lemmas, assemble the target theorem, check its transitive axioms, and provide a reproducible handoff. Use when Lean is requested or a specific proof obligation benefits from formal verification; use proof-writer for ordinary mathematical drafting.
Instalare
npx skills add wanshuiyin/Auto-claude-code-research-in-sleep --skill lean-formalize -a claude-code
Se instalează în .claude/skills/lean-formalize/ · 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ță: MIT
Verificări de siguranță pe SKILL.md
Niciun avertisment.
De ce 93
Securitate100
Proveniență91
Întreținere100
Licență100
Adopție66
Fișiere (5)
- SKILL.md
- agents/openai.yaml
- references/adversarial-review.md
- references/lean-working-loop.md
- references/verification-and-handoff.md