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.
36.065 de skill-uri din 1.636 de depozite · actualizat acum 18 minute
36.065 de skill-uri
- training-checkwanshuiyin/Auto-claude-code-research-in-sleepPeriodically check WandB metrics during training to catch problems early (NaN, loss divergence, idle GPUs). Avoids wasting GPU hours on broken runs. Use when training is running and you want automated health checks.AlteleFără avertismente★ 18 K↓ —
- golden-epub-kwyusufkaraaslan/Skill_SeekersUse when testing keyword categorizationTestareFără avertismente★ 15,2 K↓ —
- qzcliwanshuiyin/Auto-claude-code-research-in-sleepManage GPU compute jobs on the Qizhi (启智) platform using qzcli — a kubectl-style CLI tool. Use when user says "qzcli", "启智平台", "submit job", "stop job", "查计算组", "avail", "list jobs", "batch submit", or needs to manage distributed training jobs on a Qizhi instance.InginerieFără avertismente★ 18 K↓ —Apare și în 1 alt depozit
- lean-formalizewanshuiyin/Auto-claude-code-research-in-sleepDevelop 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.RedactareFără avertismente★ 18 K↓ —
- feishu-notifywanshuiyin/Auto-claude-code-research-in-sleepSend notifications to Feishu/Lark. Internal utility used by other skills, or manually via /feishu-notify. Use when user says "发飞书", "notify feishu", or other skills need to send status updates.AlteleFără avertismente★ 18 K↓ —
- analyze-resultswanshuiyin/Auto-claude-code-research-in-sleepAnalyze ML experiment results, compute statistics, generate comparison tables and insights. Use when user says "analyze results", "compare", or needs to interpret experimental data.AlteleFără avertismente★ 18 K↓ —
- modal-serverless-gpuOrchestra-Research/AI-Research-SKILLsServerless GPU cloud platform for running ML workloads. Use when you need on-demand GPU access without infrastructure management, deploying ML models as APIs, or running batch jobs with automatic scaling.DevOpsFără avertismente★ 13,9 K↓ —
- monitor-experimentwanshuiyin/Auto-claude-code-research-in-sleepMonitor running experiments, check progress, collect results. Use when user says "check results", "is it done", "monitor", or wants experiment output.AlteleFără avertismente★ 18 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 K↓ —
- wiki-queryAgriciDaniel/claude-obsidianAnswer an explicitly vault-scoped question from an Obsidian wiki without changing it. Use when the user selects the vault as the evidence source: query the wiki, query quick, query deep, explain from the wiki, summarize the vault, find in wiki, search the wiki, or based on the wiki. Do not route ordinary general-knowledge questions here.ProductivitateFără avertismente★ 15,8 K↓ —
- simpo-trainingOrchestra-Research/AI-Research-SKILLsSimple Preference Optimization for LLM alignment. Reference-free alternative to DPO with better performance (+6.4 points on AlpacaEval 2.0). No reference model needed, more efficient than DPO. Use for preference alignment when want simpler, faster training than DPO/PPO.AlteleFără avertismente★ 13,9 K↓ —
- serverless-modalwanshuiyin/Auto-claude-code-research-in-sleepRun GPU workloads on Modal — training, fine-tuning, inference, batch processing. Zero-config serverless: no SSH, no Docker, auto scale-to-zero. Use when user says "modal run", "modal training", "modal inference", "deploy to modal", "need a GPU", "run on modal", "serverless GPU", or needs remote GPU compute.DevOpsFără avertismente★ 18 K↓ —
- clipOrchestra-Research/AI-Research-SKILLsOpenAI's model connecting vision and language. Enables zero-shot image classification, image-text matching, and cross-modal retrieval. Trained on 400M image-text pairs. Use for image search, content moderation, or vision-language tasks without fine-tuning. Best for general-purpose image understanding.MediaFără avertismente★ 13,9 K↓ —
- phoenix-observabilityOrchestra-Research/AI-Research-SKILLsOpen-source AI observability platform for LLM tracing, evaluation, and monitoring. Use when debugging LLM applications with detailed traces, running evaluations on datasets, or monitoring production AI systems with real-time insights.DevOpsFără avertismente★ 13,9 K↓ —
- idea-discovery-robotwanshuiyin/Auto-claude-code-research-in-sleepWorkflow 1 adaptation for robotics and embodied AI. Orchestrates robotics-aware literature survey, idea generation, novelty check, and critical review to go from a broad robotics direction to benchmark-grounded, simulation-first ideas. Use when user says \"robotics idea discovery\", \"机器人找idea\", \"embodied AI idea\", \"机器人方向探索\", \"sim2real 选题\", or wants ideas for manipulation, locomotion, navigation, drones, humanoids, or general robot learning.InginerieFără avertismente★ 18 K↓ —
- prior-art-searchwanshuiyin/Auto-claude-code-research-in-sleepSearch patent databases and academic literature for prior art relevant to an invention. Use when user says "现有技术检索", "prior art search", "专利检索", "check patents", or wants to find relevant prior art.AlteleFără avertismente★ 18 K↓ —Apare și în 1 alt depozit
- specification-writingwanshuiyin/Auto-claude-code-research-in-sleepWrite the full patent specification from claims and invention disclosure. Use when user says "撰写说明书", "write specification", "写说明书", "patent description", or wants to draft the complete patent specification.RedactareFără avertismente★ 18 K↓ —
- distributed-llm-pretraining-torchtitanOrchestra-Research/AI-Research-SKILLsProvides PyTorch-native distributed LLM pretraining using torchtitan with 4D parallelism (FSDP2, TP, PP, CP). Use when pretraining Llama 3.1, DeepSeek V3, or custom models at scale from 8 to 512+ GPUs with Float8, torch.compile, and distributed checkpointing.AlteleFără avertismente★ 13,9 K↓ —
- skillopt-sleepmicrosoft/SkillOptUse when the user wants Cursor to learn from recent local sessions, asks for an offline sleep or dream cycle, wants to consolidate recurring work into a Cursor skill, or requests SkillOpt-Sleep status, harvest, dry-run, run, scheduling, review, or adoption. Drives the validation-gated skillopt_sleep engine with Cursor transcripts and the optional Cursor Agent CLI backend.InginerieFără avertismente★ 18,7 K↓ —
- slime-rl-trainingOrchestra-Research/AI-Research-SKILLsProvides guidance for LLM post-training with RL using slime, a Megatron+SGLang framework. Use when training GLM models, implementing custom data generation workflows, or needing tight Megatron-LM integration for RL scaling.AlteleFără avertismente★ 13,9 K↓ —
- dse-loopwanshuiyin/Auto-claude-code-research-in-sleepAutonomous design space exploration loop for computer architecture and EDA. Runs a program, analyzes results, tunes parameters, and iterates until objective is met or timeout. Use when user says \"DSE\", \"design space exploration\", \"sweep parameters\", \"optimize\", \"find best config\", or wants iterative parameter tuning.DesignFără avertismente★ 18 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★ 13,9 K↓ —
- obsidian-markdownAgriciDaniel/claude-obsidianExplain, draft, or validate Obsidian Flavored Markdown syntax: properties, wikilinks, embeds, callouts, tags, comments, highlights, block references, math, and Mermaid. Use when the user explicitly requests Obsidian note formatting or syntax help, not for general Markdown or broad vault operations.ProductivitateFără avertismente★ 15,8 K↓ —
- experiment-tracking-swanlabOrchestra-Research/AI-Research-SKILLsProvides guidance for experiment tracking with SwanLab. Use when you need open-source run tracking, local or self-hosted dashboards, and lightweight media logging for ML workflows.AlteleFără avertismente★ 13,9 K↓ —
lean-formalize
wanshuiyin/Auto-claude-code-research-in-sleep
RedactareActualizat acum 3 zile
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 (4)
- SKILL.md
- references/adversarial-review.md
- references/lean-working-loop.md
- references/verification-and-handoff.md