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.
45,100 skills from 2,196 repositories · updated 8 hours ago
45,100 skills
- 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.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↓ —
- novelty-checkwanshuiyin/Auto-claude-code-research-in-sleepVerify research idea novelty against recent literature. Use when user says "查新", "novelty check", "有没有人做过", "check novelty", or wants to verify a research idea is novel before implementing.ScienceNo warnings★ 18.1K↓ —
- krillinai-ttskrillinai/OpenCreatorUse when generating target-language dubbing with KrillinAI CLI from SRT subtitles, including TTS audio creation and optional dubbed video generation.MediaNo warnings★ 13.9K↓ —
- 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.MediaNo warnings★ 13.9K↓ —
- 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.OtherNo warnings★ 15.2K↓ —
- 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.PlanningNo warnings★ 13.9K↓ —
- golden-chat-singleyusufkaraaslan/Skill_SeekersUse when testing the golden_chat_single golden buildTestingNo warnings★ 15.2K↓ —
- golden-chat-topicsyusufkaraaslan/Skill_SeekersUse when testing the golden_chat_topics golden buildTestingNo warnings★ 15.2K↓ —
- golden-man-singleyusufkaraaslan/Skill_SeekersUse when testing the man golden buildTestingNo warnings★ 15.2K↓ —
- golden-jupyter-diryusufkaraaslan/Skill_SeekersUse when testing the golden_jupyter_dir golden buildTestingNo warnings★ 15.2K↓ —
- interview-cheatsheetwanshuiyin/Auto-claude-code-research-in-sleepGenerate a long-form Chinese interview-prep cheat sheet on a specific ML/LLM topic — formulas with derivations, from-scratch PyTorch code, comparison tables, and 25 高频面试题 (L1 必会 / L2 进阶 / L3 顶级 lab). Use when the user says '写面试 cheat sheet', '写一份 X 教程', '帮我准备 Y 面试题', '出一份 X 速查', or wants a 600-1000 line Chinese tutorial on a specific ML topic.PlanningNo warnings★ 18.1K↓ —
- golden-pdf-chyusufkaraaslan/Skill_SeekersUse when testing chapter categorizationDocumentsNo warnings★ 15.2K↓ —
- 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.1K↓ —
- creative-thinking-for-researchOrchestra-Research/AI-Research-SKILLsApplies cognitive science frameworks for creative thinking to CS and AI research ideation. Use when seeking genuinely novel research directions by leveraging combinatorial creativity, analogical reasoning, constraint manipulation, and other empirically grounded creative strategies.ScienceNo warnings★ 14K↓ —Also in 1 other repo
- golden-jupyter-topicsyusufkaraaslan/Skill_SeekersUse when testing the golden_jupyter_topics golden buildTestingNo warnings★ 15.2K↓ —
- 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.1K↓ —
- 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.MediaNo warnings★ 13.9K↓ —
- skill-bodycitrolabs/ego-liteThe fastest browser for AI agents to run browser automation, built for sharing your logged-in browser state with your AI agents, like Codex or Claude Code, without disturbing you. Zero cost, zero config.BrowserNo warnings★ 19.7K↓ —
- 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.1K↓ —
- proof-writerwanshuiyin/Auto-claude-code-research-in-sleepWrites rigorous mathematical proofs for ML/AI theory. Use when asked to prove a theorem, lemma, proposition, or corollary, fill in missing proof steps, formalize a proof sketch, 补全证明, 写证明, 证明某个命题, or determine whether a claimed proof can actually be completed under the stated assumptions.WritingNo warnings★ 18.1K↓ —
- azure-communication-callingserver-javamicrosoft/skillsAzure Communication Services CallingServer (legacy) Java SDK. Note - This SDK is deprecated. Use azure-communication-callautomation instead for new projects. Only use this skill when maintaining legacy code.OfficialDevOpsNo warnings★ 3.1K↓ —
- grant-proposalwanshuiyin/Auto-claude-code-research-in-sleepDraft a structured grant proposal from research ideas and literature. Supports KAKENHI (Japan), NSF (US), NSFC (China, including 面上/青年/优青/杰青/海外优青/重点), ERC (EU), DFG (Germany), SNSF (Switzerland), ARC (Australia), NWO (Netherlands), and generic formats. Use when user says "write grant", "grant proposal", "申請書", "write KAKENHI", "科研費", "基金申请", "写基金", "NSF proposal", or wants to turn research ideas into a funding application.ScienceNo warnings★ 18.1K↓ —
- knowledge-distillationOrchestra-Research/AI-Research-SKILLsCompress large language models using knowledge distillation from teacher to student models. Use when deploying smaller models with retained performance, transferring GPT-4 capabilities to open-source models, or reducing inference costs. Covers temperature scaling, soft targets, reverse KLD, logit distillation, and MiniLLM training strategies.DevOpsNo warnings★ 14K↓ —
lean-formalize
wanshuiyin/Auto-claude-code-research-in-sleep
WritingUpdated 2 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 (4)
- SKILL.md
- references/adversarial-review.md
- references/lean-working-loop.md
- references/verification-and-handoff.md