Agent Skills by lightrain-a
Showing 76 vetted skills indexed across 1 GitHub repositories.
lightrain-aneat-freak
Start ARIS autonomous rounds from compact live-state artifacts and reconcile TODO and job manifests.
lightrain-aproof-checker
Verify and repair LaTeX mathematical proofs with adversarial cross-model review.
lightrain-apaper-talk
Generate Beamer and PPTX conference talk artifacts from an academic paper directory.
lightrain-apaper-write
Generate a venue-templated LaTeX paper draft section-by-section from a plan and narrative.
lightrain-apaper-poster
Converts a compiled research paper into a print-ready conference poster with LaTeX and editable outputs.
lightrain-awriting-systems-papers
Generate paragraph-level outlines and page budgets for systems conference papers.
lightrain-aqzcli
Manage GPU compute jobs on the Qizhi platform with kubectl-style commands.
lightrain-aspecification-writing
Generate a patent specification in Markdown from claims and invention disclosure.
lightrain-aproof-writer
Complete missing steps in mathematical proofs and validate claims from stated assumptions.
lightrain-apaper-claim-audit
Reconciles quantitative claims in a paper with raw evidence files.
lightrain-aresubmit-pipeline
Compose a new venue submission from a manuscript and reviewer reports with safety audits.
lightrain-aserverless-modal
Run GPU training and inference workloads on Modal with cost estimation.
lightrain-aformula-derivation
Structure and derive research formulas into a coherent derivation package.
lightrain-atraining-check
Monitor WandB training metrics to detect loss divergence, NaN/Inf, and eval degradation.
lightrain-ameta-optimize
Analyze ARIS usage logs to propose ranked optimizations for harness components.
lightrain-apatent-novelty-check
Map claim elements against prior art to assess novelty and obviousness.
lightrain-avast-gpu
Estimate GPU requirements and rent cost-optimized vast.ai instances.
lightrain-aresult-to-claim
Evaluate experimental results against intended research claims and output structured verdicts.
lightrain-afigure-spec
Convert FigureSpec structured JSON into editable SVG diagrams.
lightrain-amermaid-diagram
Generate Mermaid diagram code from user requirements and verify syntax with mmdc.
lightrain-asemantic-scholar
Query the Semantic Scholar API for citation-ranked papers with venue and bibliographic metadata.
lightrain-aresearch-wiki
Build a persistent research knowledge base with typed entity graphs and query summaries.
lightrain-asystem-profile
Profile performance targets and emit structured bottleneck reports.
lightrain-aresearch-refine-pipeline
Chains research refinement and experiment planning into one pipeline.