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,100 skills from 2,198 repositories · updated 47 minutes ago
46,098 skills
- cherry-skill-marketplaceCherryHQ/cherry-studio用户要求搜索、安装、查看或卸载 Skill，或内置能力不足时使用：先 search_skills，再 install_skill；无结果用 skill-creator 创建。OtherNo warnings★ 53.1K↓ —
- azure-eventhub-tsmicrosoft/skillsBuild event streaming applications using Azure Event Hubs SDK for JavaScript (@azure/event-hubs). Use when implementing high-throughput event ingestion, real-time analytics, IoT telemetry, or event-driven architectures with partitioned consumers.OfficialDevOpsNo warnings★ 3.2K↓ —
- gemini-live-apigoogle/skillsGenerates a Gemini LiveAPI client service class in the user's chosen programming language. Use when the user wants to build, scaffold, or integrate a client that connects to the Gemini Enterprise LiveAPI websocket endpoint, handles session setup/resumption, bearer token refresh, and sending/receiving `ClientMessage`/`ServerMessage` protos. Don't use for general (non-live, non-bidirectional) Gemini API usage such as one-shot `generateContent`, embeddings, image/video generation, or fine-tuning — use the `gemini-api` skill for those.OfficialEngineeringNo warnings★ 21.7K↓ —
- 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.OtherNo warnings★ 14.1K↓ —
- code-mate-geminiCherryHQ/cherry-studioRun Gemini CLI non-interactively for coding tasks. Use when the user asks to delegate work to Gemini.EngineeringNo warnings★ 53.1K↓ —
- langsmith-observabilityOrchestra-Research/AI-Research-SKILLsLLM observability platform for tracing, evaluation, and monitoring. Use when debugging LLM applications, evaluating model outputs against datasets, monitoring production systems, or building systematic testing pipelines for AI applications.DevOpsNo warnings★ 14.1K↓ —
- dart-collect-coverageflutter/agent-pluginsCollect coverage using the coverage packge and create an LCOV reportOfficialOtherNo warnings★ 3.1K↓ —
- issue-reporterCherryHQ/cherry-studio仅在用户点名 GitHub Issue、Bug Report 或 Feature Request 时使用；未点名 GitHub 的反馈改用 cherry-studio-feedback。OtherNo warnings★ 53.1K↓ —
- 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.OtherNo warnings★ 14.1K↓ —
- flutter-add-widget-testflutter/agent-pluginsImplement a component-level test using `WidgetTester` to verify UI rendering and user interactions (tapping, scrolling, entering text). Use when validating that a specific widget displays correct data and responds to events as expected.OfficialTestingNo warnings★ 3.1K↓ —
- discover-azure-skillsmicrosoft/skillsSearches the Azure skills catalog and recommends installable agent skills by matching an Azure task to skill metadata and plugin installation guidance. WHEN: before starting any task that involves an Azure or Microsoft-cloud service, product, or data source, when no currently loaded skill or tool already covers it.OfficialDevOpsNo warnings★ 3.2K↓ —Also in 2 other repos
- verl-rl-trainingOrchestra-Research/AI-Research-SKILLsProvides guidance for training LLMs with reinforcement learning using verl (Volcano Engine RL). Use when implementing RLHF, GRPO, PPO, or other RL algorithms for LLM post-training at scale with flexible infrastructure backends.DevOpsNo warnings★ 14.1K↓ —
- 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.DevOpsNo warnings★ 14.1K↓ —
- code-mate-hermesCherryHQ/cherry-studioRun Hermes Agent non-interactively for local coding tasks. Use when the user asks to delegate work to Hermes.EngineeringNo warnings★ 53.1K↓ —
- idea-creatorwanshuiyin/Auto-claude-code-research-in-sleepGenerate and rank research ideas given a broad direction. Use when user says "找idea", "brainstorm ideas", "generate research ideas", "what can we work on", or wants to explore a research area for publishable directions.ScienceNo warnings★ 18.3K↓ —
- 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★ 14.1K↓ —
- gguf-quantizationOrchestra-Research/AI-Research-SKILLsGGUF format and llama.cpp quantization for efficient CPU/GPU inference. Use when deploying models on consumer hardware, Apple Silicon, or when needing flexible quantization from 2-8 bit without GPU requirements.DevOpsNo warnings★ 14.1K↓ —
- long-contextOrchestra-Research/AI-Research-SKILLsExtend context windows of transformer models using RoPE, YaRN, ALiBi, and position interpolation techniques. Use when processing long documents (32k-128k+ tokens), extending pre-trained models beyond original context limits, or implementing efficient positional encodings. Covers rotary embeddings, attention biases, interpolation methods, and extrapolation strategies for LLMs.ProductivityNo warnings★ 14.1K↓ —
- peft-fine-tuningOrchestra-Research/AI-Research-SKILLsParameter-efficient fine-tuning for LLMs using LoRA, QLoRA, and 25+ methods. Use when fine-tuning large models (7B-70B) with limited GPU memory, when you need to train <1% of parameters with minimal accuracy loss, or for multi-adapter serving. HuggingFace's official library integrated with transformers ecosystem.ProductivityNo warnings★ 14.1K↓ —
- plantuml-asciigithub/awesome-copilotGenerate ASCII art diagrams using PlantUML text mode. Use when user asks to create ASCII diagrams, text-based diagrams, terminal-friendly diagrams, or mentions plantuml ascii, text diagram, ascii art diagram. Supports: Converting PlantUML diagrams to ASCII art, Creating sequence diagrams, class diagrams, flowcharts in ASCII format, Generating Unicode-enhanced ASCII art with -utxt flagPlanningNo warnings★ 40.6K↓ —
- awq-quantizationOrchestra-Research/AI-Research-SKILLsActivation-aware weight quantization for 4-bit LLM compression with 3x speedup and minimal accuracy loss. Use when deploying large models (7B-70B) on limited GPU memory, when you need faster inference than GPTQ with better accuracy preservation, or for instruction-tuned and multimodal models. MLSys 2024 Best Paper Award winner.DevOpsNo warnings★ 14.1K↓ —
- miles-rl-trainingOrchestra-Research/AI-Research-SKILLsProvides guidance for enterprise-grade RL training using miles, a production-ready fork of slime. Use when training large MoE models with FP8/INT4, needing train-inference alignment, or requiring speculative RL for maximum throughput.PlanningNo warnings★ 14.1K↓ —
- golden-epub-kwyusufkaraaslan/Skill_SeekersUse when testing keyword categorizationTestingNo warnings★ 15.2K↓ —
- golden-html-kwyusufkaraaslan/Skill_SeekersUse when testing keyword categorizationTestingNo warnings★ 15.2K↓ —
lean-formalize
wanshuiyin/Auto-claude-code-research-in-sleep
WritingUpdated 15 hours ago
From the author
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.
Install
npx skills add wanshuiyin/Auto-claude-code-research-in-sleep --skill lean-formalize -a claude-code
Installs to .claude/skills/lean-formalize/ · 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 (5)
- SKILL.md
- agents/openai.yaml
- references/adversarial-review.md
- references/lean-working-loop.md
- references/verification-and-handoff.md