Agent Skills by Yang Ruofeng
Showing 120 vetted skills indexed across 4 GitHub repositories.
paper-poster-html
Generates print-ready academic conference posters as HTML/CSS with measurement-driven quality gates.
meta-apply
Applies approved self-modification patches to the skill corpus after cross-model jury review.
proof-checker
Verifies and fixes LaTeX mathematical proofs via cross-model adversarial review.
paper-talk
Generates conference talk slides, speaker notes, and audit reports from a compiled paper.
paper-poster
Redirects deprecated LaTeX poster requests to the paper-poster-html pipeline.
writing-systems-papers
Provides paragraph-level structural blueprints for systems conference papers targeting OSDI, SOSP, ASPLOS, NSDI, and EuroSys.
qzcli
Manage GPU compute jobs on the Qizhi platform using a kubectl-style CLI.
specification-writing
Write complete patent specification sections from claims and invention disclosure documents.
paper-claim-audit
Verifies every numeric claim in a research paper against raw result files using a zero-context cross-model reviewer.
resubmit-pipeline
Orchestrates text-only resubmission of a polished paper to a new venue under frozen constraints.
serverless-modal
Runs GPU training, inference, and batch workloads on Modal serverless cloud.
formula-derivation
Structures scattered research notes into coherent mathematical derivation packages with explicit assumptions and status.
training-check
Monitors WandB training metrics periodically to detect NaN, divergence, and idle GPUs.
meta-optimize
Analyzes ARIS usage logs to propose evidence-backed optimizations for skill prompts and workflow defaults.
patent-novelty-check
Assess patent novelty and non-obviousness of an invention against prior art references.
vast-gpu
Provisions, configures, and destroys vast.ai GPU instances based on training task requirements.
result-to-claim
Evaluates whether experiment results support intended research claims and routes next actions.
figure-spec
Generate deterministic publication-quality architecture and workflow diagrams from JSON specs into editable SVG.
mermaid-diagram
Generates Mermaid diagram code with file output, CLI rendering verification, and visual review.
semantic-scholar
Search published journal and conference papers via the Semantic Scholar API with citation counts and venue metadata.
research-wiki
Maintains a persistent research knowledge base of papers, ideas, experiments, and claims.
system-profile
Profiles scripts, processes, GPUs, memory, and interconnects to identify performance bottlenecks.
proof-orchestrator
Orchestrate stateful proof runs with local attempts, GPT Pro handoffs, and optional DeepSeek audits.
jurisdiction-format
Compile patent applications into CNIPA, USPTO, and EPO filing formats.