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.
47,307 skills from 2,272 repositories · updated 8 hours ago
47,305 skills
- azure-ai-projects-dotnetmicrosoft/skillsAzure AI Projects SDK for .NET. High-level client for Azure AI Foundry projects including agents, connections, datasets, deployments, evaluations, and indexes. Use for AI Foundry project management, versioned agents, and orchestration. Triggers: "AI Projects", "AIProjectClient", "Foundry project", "versioned agents", "evaluations", "datasets", "connections", "deployments .NET".OfficialDevOpsNo warnings★ 3.2K↓ —
- golden-chatyusufkaraaslan/Skill_SeekersUse when testing the golden_chat golden buildTestingNo warnings★ 15.2K↓ —
- paper-writewanshuiyin/Auto-claude-code-research-in-sleepDraft LaTeX paper section by section from an outline. Use when user says "写论文", "write paper", "draft LaTeX", "开始写", or wants to generate LaTeX content from a paper plan.ScienceNo warnings★ 18.2K↓ —
- golden-pdfyusufkaraaslan/Skill_SeekersUse when testing the pdf golden buildDocumentsNo warnings★ 15.2K↓ —
- nemo-curatorOrchestra-Research/AI-Research-SKILLsGPU-accelerated data curation for LLM training. Supports text/image/video/audio. Features fuzzy deduplication (16× faster), quality filtering (30+ heuristics), semantic deduplication, PII redaction, NSFW detection. Scales across GPUs with RAPIDS. Use for preparing high-quality training datasets, cleaning web data, or deduplicating large corpora.MediaNo warnings★ 14K↓ —
- expo-overviewUpdatedexpo/skillsEntry point and router for every Expo or EAS task. Load this skill first — before writing code and before choosing another expo-* / eas-* skill — when the request, PRD, or spec mentions Expo, EAS, Expo Go, or an expo-* package, or the project has an `expo` dependency in `package.json`. Within that gate it also covers app specs and designs to implement (tabs, stacks, maps, lists, navigation, building from a screenshot), and phrasings like 'implement a mobile app', 'make my app look native', 'add navigation', 'fetch some data', 'upgrade my SDK', 'add Expo to my existing native app', 'ship to the App Store', or 'I'm new to Expo, where do I start'. A fully specified request (SDK pinned, libraries named, layout given) still routes through here — the shared setup rules still apply. Do NOT load it when neither signal is present: a bare React Native project with no `expo` dependency is not Expo work. Detects the real goal, routes to the right expo-* / eas-* skill, and owns the shared setup rules.OfficialWritingNo warnings★ 3.4K↓ —
- 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.MediaNo warnings★ 14K↓ —
- 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.WritingNo warnings★ 18.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.6K↓ —
- 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.ScienceNo warnings★ 18.2K↓ —
- idea-discoverywanshuiyin/Auto-claude-code-research-in-sleepWorkflow 1: Full idea discovery pipeline. Orchestrates research-lit → idea-creator → novelty-check → research-review to go from a broad research direction to validated, pilot-tested ideas. Use when user says \"找idea全流程\", \"idea discovery pipeline\", \"从零开始找方向\", or wants the complete idea exploration workflow.ScienceNo warnings★ 18.2K↓ —
- pixel-artwanshuiyin/Auto-claude-code-research-in-sleepGenerate pixel art SVG illustrations for READMEs, docs, or slides. Use when user says "画像素图", "pixel art", "make an SVG illustration", "README hero image", or wants a cute visual.DocumentsNo warnings★ 18.2K↓ —Also in 1 other repo
- 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.OtherNo warnings★ 18.2K↓ —
- eas-observeUpdatedexpo/skillsUse for anything related to EAS Observe - adding `expo-observe` to an Expo project (AppMetricsRoot/ObserveRoot HOC, markInteractive and ObserveInteractiveMarker, the useObserve hook, the Expo Router / React Navigation integrations for per-route metrics, the expo-image and Reanimated integrations, user-defined events via `Observe.logEvent`, error reporting via ObserveErrorBoundary and `Observe.reportError`, native crash reporting, source map upload for symbolicated stack traces, and runtime config such as sampleRate and dispatchInDebug), querying via the EAS CLI (`eas observe:metrics-summary`, `observe:metrics`, `observe:routes`, `observe:events`, `observe:session`, `observe:versions`, `observe:errors`, `observe:event`) or the Expo MCP `observe_*` tools, interpreting the resulting metrics (cold/warm launch, TTR, TTI, navigation cold/warm TTR, update download, and the TTI frameRate/device/network params for triaging slow startups), or shipping an Observe integration inside a third-party package.OfficialMediaNo warnings★ 3.4K↓ —
- golden-htmlyusufkaraaslan/Skill_SeekersUse when testing the html golden buildTestingNo warnings★ 15.2K↓ —
- 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.ScienceNo warnings★ 18.2K↓ —
- skills-managerCherryHQ/cherry-studio搜索、安装或创建 Agent Skill；用户说“find a skill”“搜索技能”“帮我做个 skill”或想扩展能力时使用。OtherNo warnings★ 53K↓ —
- 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.ScienceNo warnings★ 18.2K↓ —
- code-mate-qwen-codeCherryHQ/cherry-studioRun Qwen Code non-interactively for coding tasks. Use when the user asks to delegate work to Qwen Code.EngineeringNo warnings★ 53K↓ —
- code-mate-kimi-codeCherryHQ/cherry-studioRun Kimi Code non-interactively for coding tasks. Use when the user asks to delegate work to Kimi Code.EngineeringNo warnings★ 53K↓ —
- faq-collectorCherryHQ/cherry-studio将成功解决的用户问题收录到 FAQ 知识库。问题解决后自动判断是否收录。也可以在用户说"收录到 FAQ"、"记录这个问题"、"add to FAQ"时手动触发。OtherNo warnings★ 53K↓ —
- cherry-skill-marketplaceCherryHQ/cherry-studio用户要求搜索、安装、查看或卸载 Skill，或内置能力不足时使用：先 search_skills，再 install_skill；无结果用 skill-creator 创建。OtherNo warnings★ 53K↓ —
- azure-identity-rustmicrosoft/skillsAzure Identity library for Rust. Microsoft Entra ID authentication for all Azure SDK clients. Triggers: "azure identity rust", "DeveloperToolsCredential", "authentication rust", "managed identity rust", "credential rust", "Entra ID rust".OfficialDevOpsNo warnings★ 3.2K↓ —
- 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↓ —
lean-formalize
wanshuiyin/Auto-claude-code-research-in-sleep
WritingUpdated 4 days 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