Agent skills you can check before you install
Public SKILL.md skills from GitHub repositories with 50+ stars and from the vendors themselves, scanned and scored. Install any of them with one command in Claude Code, Cursor, Codex, GitHub Copilot or Gemini CLI.
46,700 skills from 2,243 repositories · updated 18 hours ago
46,700 skills
- azure-monitor-opentelemetry-pymicrosoft/skillsAzure Monitor OpenTelemetry Distro for Python. Use for one-line Application Insights setup with auto-instrumentation. Triggers: "azure-monitor-opentelemetry", "configure_azure_monitor", "Application Insights", "OpenTelemetry distro", "auto-instrumentation".OfficialDevOpsNo warnings★ 3.1K↓ —
- golden-pptxyusufkaraaslan/Skill_SeekersUse when testing the pptx golden buildDocumentsNo warnings★ 15.2K↓ —
- nemo-evaluator-sdkOrchestra-Research/AI-Research-SKILLsEvaluates LLMs across 100+ benchmarks from 18+ harnesses (MMLU, HumanEval, GSM8K, safety, VLM) with multi-backend execution. Use when needing scalable evaluation on local Docker, Slurm HPC, or cloud platforms. NVIDIA's enterprise-grade platform with container-first architecture for reproducible benchmarking.DevOpsNo warnings★ 14K↓ —
- research-wikiwanshuiyin/Auto-claude-code-research-in-sleepPersistent research knowledge base that accumulates papers, ideas, experiments, claims, and their relationships across the entire research lifecycle. Inspired by Karpathy's LLM Wiki pattern. Use when user says "知识库", "research wiki", "add paper", "wiki query", "查知识库", or wants to build/query a persistent field map.ScienceNo warnings★ 18.2K↓ —
- llama-cppOrchestra-Research/AI-Research-SKILLsRuns LLM inference on CPU, Apple Silicon, and consumer GPUs without NVIDIA hardware. Use for edge deployment, M1/M2/M3 Macs, AMD/Intel GPUs, or when CUDA is unavailable. Supports GGUF quantization (1.5-8 bit) for reduced memory and 4-10× speedup vs PyTorch on CPU.DevOpsNo warnings★ 14K↓ —
- expo-domexpo/skillsUse Expo DOM components to run web code in a webview on native and as-is on web. Migrate web code to native incrementally. For the end-to-end migration of a whole web app, use the expo-web-to-native skill.OfficialEngineeringNo warnings★ 3.3K↓ —
- keenable-searchNewwanshuiyin/Auto-claude-code-research-in-sleepKeyless web search and page fetch via Keenable. Use when user says "keenable search", "web search without an API key", "fetch this page as markdown", or needs broad web results beyond academic databases (arXiv, Semantic Scholar) with no search API key set up.ScienceNo warnings★ 18.2K↓ —
- mamba-architectureOrchestra-Research/AI-Research-SKILLsState-space model with O(n) complexity vs Transformers' O(n²). 5× faster inference, million-token sequences, no KV cache. Selective SSM with hardware-aware design. Mamba-1 (d_state=16) and Mamba-2 (d_state=128, multi-head). Models 130M-2.8B on HuggingFace.PlanningNo warnings★ 14K↓ —
- system-profilewanshuiyin/Auto-claude-code-research-in-sleepProfile a target (script, process, GPU, memory, interconnect) for performance analysis. Use when user says "profile", "benchmark", "bottleneck", or wants performance analysis.ProductivityNo warnings★ 18.2K↓ —Also in 1 other repo
- serving-llms-vllmOrchestra-Research/AI-Research-SKILLsServes LLMs with high throughput using vLLM's PagedAttention and continuous batching. Use when deploying production LLM APIs, optimizing inference latency/throughput, or serving models with limited GPU memory. Supports OpenAI-compatible endpoints, quantization (GPTQ/AWQ/FP8), and tensor parallelism.DevOpsNo warnings★ 14K↓ —
- gemini-searchwanshuiyin/Auto-claude-code-research-in-sleepSearch research papers via Gemini for broad literature discovery. Use when user says "gemini search", "gemini papers", "search with gemini", or wants AI-powered literature discovery beyond arXiv/Semantic Scholar indexes.ScienceNo warnings★ 18.2K↓ —
- fine-tuning-openvla-oftOrchestra-Research/AI-Research-SKILLsFine-tunes and evaluates OpenVLA-OFT and OpenVLA-OFT+ policies for robot action generation with continuous action heads, LoRA adaptation, and FiLM conditioning on LIBERO simulation and ALOHA real-world setups. Use when reproducing OpenVLA-OFT paper results, training custom VLA action heads (L1 or diffusion), deploying server-client inference for ALOHA, or debugging normalization, LoRA merge, and cross-GPU issues.DevOpsNo warnings★ 14K↓ —
- azure-vmssickn33/agentic-awesome-skillsManage Azure Virtual Machines and scale sets. Configure availability sets and managed disks. Use when deploying compute resources on Azure.DevOpsNo warnings★ 48.6K↓ —
- kill-argumentwanshuiyin/Auto-claude-code-research-in-sleepTwo-thread adversarial review: a fresh reviewer constructs the strongest 200-word rejection memo, then a second fresh reviewer defends the paper point-by-point and surfaces still-unresolved critical issues. Use when user says "kill argument", "adversarial review", "hostile review", "rebuttal preparation", "reviewer-2 simulation", or before submitting a theory paper that has already passed standard review rounds.ScienceNo warnings★ 18.2K↓ —
- rwkv-architectureOrchestra-Research/AI-Research-SKILLsRNN+Transformer hybrid with O(n) inference. Linear time, infinite context, no KV cache. Train like GPT (parallel), infer like RNN (sequential). Linux Foundation AI project. Production at Windows, Office, NeMo. RWKV-7 (March 2025). Models up to 14B parameters.PlanningNo warnings★ 14K↓ —
- meta-optimizewanshuiyin/Auto-claude-code-research-in-sleepAnalyze ARIS usage logs and propose optimizations to SKILL.md files, reviewer prompts, and workflow defaults. Outer-loop harness optimization inspired by Meta-Harness (Lee et al., 2026). Use when user says "优化技能", "meta optimize", "improve skills", "分析使用记录", or wants to optimize ARIS's own harness components based on accumulated experience.ProductivityNo warnings★ 18.2K↓ —
- dspyOrchestra-Research/AI-Research-SKILLsBuild complex AI systems with declarative programming, optimize prompts automatically, create modular RAG systems and agents with DSPy - Stanford NLP's framework for systematic LM programmingOtherNo warnings★ 14K↓ —
- hunt-lfisickn33/agentic-awesome-skillsHunt Local File Inclusion (LFI), Remote File Inclusion (RFI), and Path TraversalOtherNo warnings★ 48.6K↓ —
- youtube-uploadNewdreammis/social-auto-upload使用 social-auto-upload 的 `sau youtube` 登录 YouTube 并上传、安排定时或设置视频可见范围。Use when 用户要向 YouTube 发布或定时发布视频，或检查 Google/YouTube 登录状态。OtherNo warnings★ 15.9K↓ —
- tiktok-uploadNewdreammis/social-auto-upload使用仓库现有 Patchright/Playwright Chrome 上传器登录并发布 TikTok 视频。Use when 用户要发布 TikTok 视频，且当前环境可访问本仓库及其本地 Chrome 配置。TestingNo warnings★ 15.9K↓ —
- block-no-verify-hookwshobson/agentsConfigure a PreToolUse hook to prevent AI agents from skipping git pre-commit hooks with --no-verify and other bypass flags. Use when setting up Claude Code projects that enforce commit quality gates.EngineeringNo warnings★ 41.9K↓ —
- alipay-uploadNewdreammis/social-auto-upload使用 social-auto-upload 的 `sau alipay` 登录支付宝生活号并发布视频。Use when 用户要向支付宝生活号发布视频或检查创作账号状态。OtherNo warnings★ 15.9K↓ —
- weibo-uploadNewdreammis/social-auto-upload使用 social-auto-upload 的 `sau weibo` 登录微博并发布视频，可指定封面。Use when 用户要向微博发布视频或检查微博账号状态。OtherNo warnings★ 15.9K↓ —
- hupu-uploadNewdreammis/social-auto-upload使用 social-auto-upload 的 `sau hupu` 登录虎扑并发布视频，可指定封面。Use when 用户要向虎扑发布视频或检查虎扑账号状态。OtherNo warnings★ 15.9K↓ —
proof-orchestrator
wanshuiyin/Auto-claude-code-research-in-sleep
WritingUpdated 4 days ago
From the author
Manage a stateful, run-directory-based proof project with Codex: continuation across runs, run-local source bookkeeping, manual GPT Pro handoff packages when a local attempt stalls, and an optional DeepSeek second opinion as additional evidence only. Use when the user asks for proof-run orchestration, a GPT Pro handoff, or cross-run proof continuation — use /proof-writer for ordinary proof drafting and /proof-checker for rigorous verification or submission acceptance.
Install
npx skills add wanshuiyin/Auto-claude-code-research-in-sleep --skill proof-orchestrator -a claude-code
Installs to .claude/skills/proof-orchestrator/ · Each command fetches the skill straight from GitHub with the open skills CLI.
Download .zip
Byte-identical to the scanned commit, with the repository’s licence and a SOURCE.txt.
What it can touch
Instructions onlyNo network use seenLicence: MIT
Safety checks on SKILL.md
No warnings.
Why 93
Security100
Provenance91
Maintenance100
Licence100
Adoption66
Files (7)
- SKILL.md
- references/audit-output-contract.md
- references/deepseek-routing.md
- references/dispatch-prompts.md
- references/notation-audit.md
- references/proof-audit-rubric.md
- references/stress-tests.md