Agent skills for Computer and Information Research Scientists

65 agent skills are labelled for Computer and Information Research Scientists work. They are listed by code score, out of 100.

All 65

proof-writer wanshuiyin/Auto-claude-code-research-in-sleep
Writes 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, 补…

Verified87A
build-evidence-map github/awesome-copilot
Build an auditable evidence map for a contested technical choice, research synthesis, proposal review, or consequential decision. Use when Copilot must preserve supporting, contra…

Verified86A
paper-compile wanshuiyin/Auto-claude-code-research-in-sleep
Compile LaTeX paper to PDF, fix errors, and verify output. Use when user says "编译论文", "compile paper", "build PDF", "生成PDF", or wants to compile LaTeX into a submission-ready PDF.

Verified85A
figure-spec wanshuiyin/Auto-claude-code-research-in-sleep
Generate deterministic publication-quality architecture, workflow, and pipeline diagrams from structured JSON (FigureSpec) into editable SVG. Use when user says "架构图", "workflow 图…

Verified84B
rebuttal wanshuiyin/Auto-claude-code-research-in-sleep
Workflow 4: Submission rebuttal pipeline. Parses external reviews, enforces coverage and grounding, drafts a safe text-only rebuttal under venue limits, and manages follow-up roun…

Verified84B
integrity-forensics wanshuiyin/Auto-claude-code-research-in-sleep
Run the Anti-Autoresearch integrity-forensics sweep (span-anchored evidence ledger → GPT auditors propose findings → a rules-only reporter that lists every proposal with what the…

Verified83B
idea-creator wanshuiyin/Auto-claude-code-research-in-sleep
Generate 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 r…

82B
systems-paper-writing Orchestra-Research/AI-Research-SKILLs
Comprehensive guide for writing systems papers targeting OSDI, SOSP, ASPLOS, NSDI, and EuroSys. Provides paragraph-level structural blueprints, writing patterns, venue-specific ch…

Verified82B
formula-derivation wanshuiyin/Auto-claude-code-research-in-sleep
Structures and derives research formulas when the user wants to 推导公式, build a theory line, organize assumptions, turn scattered equations into a coherent derivation, or rewrite th…

Verified81B
novelty-check wanshuiyin/Auto-claude-code-research-in-sleep
Verify research idea novelty against recent literature. Use when user says "查新", "novelty check", "有没有人做过", "check novelty", or wants to verify a research idea is novel before imp…

Verified81B
proof-checker wanshuiyin/Auto-claude-code-research-in-sleep
Rigorous mathematical proof verification and fixing workflow. Reads a LaTeX proof, identifies gaps via cross-model review (external reviewer backend, ultra reasoning), fixes each…

81B
litreview alirezarezvani/claude-skills
Use when starting a literature review or a literature-based project. Plans the search (PICO, SPIDER) with framework_recommender.py, searches PubMed and OpenAlex with free_search.p…

Verified80B
grant-proposal wanshuiyin/Auto-claude-code-research-in-sleep
Draft a structured grant proposal from research ideas and literature. Supports KAKENHI (Japan), NSF (US), NSFC (China, including 面上/青年/优青/杰青/海外优青/重点), ERC (EU), DFG (Germany), SNS…

80B
paper-figure wanshuiyin/Auto-claude-code-research-in-sleep
Generate publication-quality figures and tables from experiment results. Use when user says "画图", "作图", "generate figures", "paper figures", or needs plots for a paper.

Verified80B
paper-write wanshuiyin/Auto-claude-code-research-in-sleep
Draft 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.

80B
research-refine wanshuiyin/Auto-claude-code-research-in-sleep
Turn a vague research direction into a problem-anchored, elegant, frontier-aware, implementation-oriented method plan via iterative GPT-6-Astra review. Use when the user says "ref…

80B
paper-claim-audit wanshuiyin/Auto-claude-code-research-in-sleep
Zero-context verification that every number, comparison, and scope claim in the paper matches raw result files. Uses a fresh cross-model reviewer with NO prior context to prevent…

79B
writing-systems-papers wanshuiyin/Auto-claude-code-research-in-sleep
Paragraph-level structural blueprint for 10-12 page systems papers targeting OSDI, SOSP, ASPLOS, NSDI, and EuroSys. Provides page allocation, paragraph templates, and writing patt…

79B
paper-slides wanshuiyin/Auto-claude-code-research-in-sleep
Generate conference presentation slides (beamer LaTeX → PDF + editable PPTX) from a compiled paper, with speaker notes and full talk script. Use when user says "做PPT", "做幻灯片", "ma…

78B
mermaid-to-proverif trailofbits/skills
Translates Mermaid sequenceDiagrams describing cryptographic protocols into ProVerif formal verification models (.pv files). Use when generating a ProVerif model, formally verifyi…

78B
post-training-miles davila7/claude-code-templates
Provides 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 alignme…

77B
experiment-queue wanshuiyin/Auto-claude-code-research-in-sleep
SSH job queue for multi-seed/multi-config ML experiments with OOM-aware retry, stale-screen cleanup, and wave-transition race prevention. Use when user says "batch experiments", "…

77B
paper-illustration-image2 wanshuiyin/Auto-claude-code-research-in-sleep
Generate publication-quality academic illustrations through a local Codex app-server bridge that uses Codex native image generation. This is a separate experimental alternative to…

77B
render-html wanshuiyin/Auto-claude-code-research-in-sleep
Render an ARIS Markdown / JSON artifact (IDEA_REPORT, AUTO_REVIEW, KILL_ARGUMENT, PAPER_PLAN, research-wiki state, etc.) into a single-file HTML view designed for human reading. U…

77B
math-olympiad anthropics/claude-plugins-official
Solve competition math problems (IMO, Putnam, USAMO, AIME) with adversarial verification that catches the errors self-verification misses. Activates when asked to 'solve this IMO…

76B
evaluation-lm-evaluation-harness davila7/claude-code-templates
Evaluates LLMs across 60+ academic benchmarks (MMLU, HumanEval, GSM8K, TruthfulQA, HellaSwag). Use when benchmarking model quality, comparing models, reporting academic results, o…

76B
mechanistic-interpretability-nnsight davila7/claude-code-templates
Provides guidance for interpreting and manipulating neural network internals using nnsight with optional NDIF remote execution. Use when needing to run interpretability experiment…

76B
idea-discovery-robot wanshuiyin/Auto-claude-code-research-in-sleep
Workflow 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…

76B
brainstorming-research-ideas Orchestra-Research/AI-Research-SKILLs
Guides researchers through structured ideation frameworks to discover high-impact research directions. Use when exploring new problem spaces, pivoting between projects, or seeking…

76B
research-paper-writing XiaomiMiMo/MiMo-Code
Write, rewrite, and polish academic papers (ML/CV/NLP style). Use when the user drafts or revises Abstract, Introduction, Related Work, Method, Experiments, or Conclusion; asks "d…

76B
paper-poster-html wanshuiyin/Auto-claude-code-research-in-sleep
DEFAULT poster pipeline — build an academic conference poster (ICML/NeurIPS/ICLR/CVPR/...) as a single HTML/CSS file with measurement-driven hard gates, real paper figures, a two-…

75B
research-refine-pipeline wanshuiyin/Auto-claude-code-research-in-sleep
Run an end-to-end workflow that chains `research-refine` and `experiment-plan`. Use when the user wants a one-shot pipeline from vague research direction to focused final proposal…

75B
slides-polish wanshuiyin/Auto-claude-code-research-in-sleep
Per-page Codex review + targeted python-pptx / Beamer fixes for academic talk slides. Use AFTER /paper-slides (or any externally generated PPTX/Beamer) when the deck looks 'mostly…

75B
arxiv XiaomiMiMo/MiMo-Code
Use this skill whenever the user wants to find, read, cite, track, download, or analyze academic papers on arXiv. That includes: searching papers by topic, author, category, or ar…

75B
dse-loop wanshuiyin/Auto-claude-code-research-in-sleep
Autonomous 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…

74B
paper-plan wanshuiyin/Auto-claude-code-research-in-sleep
Generate 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…

74B
academic-plotting Orchestra-Research/AI-Research-SKILLs
Generates publication-quality figures for ML papers from research context. Given a paper section or description, extracts system components and relationships to generate architect…

74B
writing-lean-proofs trailofbits/skills
Writes and reviews structured Lean 4 proofs and designs Lean libraries following Mathlib conventions. Use when proving theorems in Lean, formalizing mathematics or specifications…

74B
evaluation-nemo-evaluator davila7/claude-code-templates
Evaluates LLMs across 100+ benchmarks from 18+ harnesses (MMLU, HumanEval, GSM8K, safety, VLM) with multi-backend execution. Use when needing scalable evaluation on local Docker,…

73B
arxiv wanshuiyin/Auto-claude-code-research-in-sleep
Search, download, and summarize academic papers from arXiv. Use when user says "search arxiv", "download paper", "fetch arxiv", "arxiv search", "get paper pdf", or wants to find a…

73B
presenting-conference-talks Orchestra-Research/AI-Research-SKILLs
Generates conference presentation slides (Beamer LaTeX PDF and editable PPTX) from a compiled paper with speaker notes and talk script. Use when preparing oral talks, spotlight pr…

73B
post-training-torchforge davila7/claude-code-templates
Provides guidance for PyTorch-native agentic RL using torchforge, Meta's library separating infra from algorithms. Use when you want clean RL abstractions, easy algorithm experime…

72B
citation-crosscheck wanshuiyin/Auto-claude-code-research-in-sleep
Double-blind bibliographic cross-check: one agent extracts each cited entry verbatim from the local .bib, a second independently re-fetches the same paper's record from the web wh…

72B
experiment-audit wanshuiyin/Auto-claude-code-research-in-sleep
Audit experiment integrity before claiming results. Uses cross-model review (external reviewer backend) to check for fake ground truth, score normalization fraud, phantom results,…

72B
experiment-plan wanshuiyin/Auto-claude-code-research-in-sleep
Turn a refined research proposal or method idea into a detailed, claim-driven experiment roadmap. Use after `research-refine`, or when the user asks for a detailed experiment plan…

72B
idea-discovery wanshuiyin/Auto-claude-code-research-in-sleep
Workflow 1: Full idea discovery pipeline to go from a broad research direction to validated, pilot-tested ideas. Use when user says "找idea全流程", "idea discovery pipeline", "从零开始找方向…

72B
monitor-experiment wanshuiyin/Auto-claude-code-research-in-sleep
Monitor running experiments, check progress, collect results. Use when user says "check results", "is it done", "monitor", or wants experiment output.

72B
overleaf-sync wanshuiyin/Auto-claude-code-research-in-sleep
Two-way sync between a local paper directory and an Overleaf project, so ARIS audit/edit workflows stay on the local copy while collaborators edit in the Overleaf web UI. Use when…

72B
evaluating-llms-harness Orchestra-Research/AI-Research-SKILLs
Evaluates LLMs across 60+ academic benchmarks (MMLU, HumanEval, GSM8K, TruthfulQA, HellaSwag). Use when benchmarking model quality, comparing models, reporting academic results, o…

72B
nnsight-remote-interpretability Orchestra-Research/AI-Research-SKILLs
Provides guidance for interpreting and manipulating neural network internals using nnsight with optional NDIF remote execution. Use when needing to run interpretability experiment…

72B
mechanistic-interpretability-transformer-lens davila7/claude-code-templates
Provides guidance for mechanistic interpretability research using TransformerLens to inspect and manipulate transformer internals via HookPoints and activation caching. Use when r…

71B
auto-review-loop-llm wanshuiyin/Auto-claude-code-research-in-sleep
Autonomous research review loop using any OpenAI-compatible LLM API. Configure via llm-chat MCP server or environment variables. Trigger with "auto review loop llm" or "llm review…

71B
auto-review-loop-minimax wanshuiyin/Auto-claude-code-research-in-sleep
Autonomous multi-round research review loop using MiniMax API. Use when you want to use MiniMax instead of Codex MCP for external review. Trigger with "auto review loop minimax" o…

71B
experiment-bridge wanshuiyin/Auto-claude-code-research-in-sleep
Workflow 1.5: Bridge between idea discovery and auto review. Reads EXPERIMENT_PLAN.md, implements experiment code, deploys to GPU, collects initial results. Use when user says "实现…

71B
research-lit wanshuiyin/Auto-claude-code-research-in-sleep
Search and analyze research papers, find related work, summarize key ideas. Use when user says "find papers", "related work", "literature review", "what does this paper say", or n…

71B
research-wiki wanshuiyin/Auto-claude-code-research-in-sleep
Persistent research knowledge base that accumulates papers, ideas, experiments, claims, and their relationships across the entire research lifecycle. Inspired by Karpathy's LLM Wi…

71B
ara-compiler Orchestra-Research/AI-Research-SKILLs
Compiles any research input — PDF papers, GitHub repositories, experiment logs, code directories, or raw notes — into a complete Agent-Native Research Artifact (ARA) with cognitiv…

71B
ml-paper-writing Orchestra-Research/AI-Research-SKILLs
Write publication-ready ML/AI papers for NeurIPS, ICML, ICLR, ACL, AAAI, COLM. Use when drafting papers from research repos, structuring arguments, verifying citations, or prepari…

71B
mechanistic-interpretability-saelens davila7/claude-code-templates
Provides guidance for training and analyzing Sparse Autoencoders (SAEs) using SAELens to decompose neural network activations into interpretable features. Use when discovering int…

70B
post-training-slime davila7/claude-code-templates
Provides 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 t…

70B
gemini-search wanshuiyin/Auto-claude-code-research-in-sleep
Search research papers via Gemini for broad literature discovery. Use when user says "gemini search", "gemini papers", "search with gemini", or wants AI-powered literature discove…

70B
paper-writing wanshuiyin/Auto-claude-code-research-in-sleep
Workflow 3: Full paper writing pipeline that goes from a narrative report to a polished, submission-ready PDF. Use when user says "写论文全流程", "write paper pipeline", "从报告到PDF", "pap…

70B
research-implement-feature wanshuiyin/Auto-claude-code-research-in-sleep
Build a working artifact from a plain "implement X for me" request: a running end-to-end spine first, then one feature per rung, with every under-determined decision written to an…

70B
creative-thinking-for-research Orchestra-Research/AI-Research-SKILLs
Applies cognitive science frameworks for creative thinking to CS and AI research ideation. Use when seeking genuinely novel research directions by leveraging combinatorial creativ…

70B
ml-paper-writing davila7/claude-code-templates
Write publication-ready ML/AI papers for NeurIPS, ICML, ICLR, ACL, AAAI, COLM. Use when drafting papers from research repos, structuring arguments, verifying citations, or prepari…

68C

Scores come from a snapshot of 300 public GitHub repositories taken on 12 November 2026. Every score is the result of fixed checks run by code; no AI is involved. How scoring works.