12,209 skills found · Page 77 of 407
wanshuiyin / dse-loopAutonomous design space exploration loop for computer architecture and EDA. Runs a program, analyzes results, tunes parameters, and iterates until objective is met or timeout
wanshuiyin / integrity-forensicsRun 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 auditor said about it) against a paper via a SHA-pinned thin launcher — then convert the verdict into a typed policy gate…
wanshuiyin / lean-formalizeDevelop 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
wanshuiyin / proof-orchestratorManage a stateful, run-directory-based proof project: continuation across runs, run-local source bookkeeping, manual GPT Pro handoff packages when a local attempt stalls, and an optional DeepSeek second opinion as additional evidence only
wanshuiyin / rebuttalWorkflow 4: Submission rebuttal pipeline. Parses external reviews, enforces coverage and grounding, drafts a safe text-only rebuttal under venue limits, and manages follow-up rounds
wanshuiyin / research-reviewGet a deep critical review of research from a selected reviewer (Codex by default, Gemini, Grok, Claude Code, or manual)
wanshuiyin / auto-review-loop-minimaxAutonomous multi-round research review loop using MiniMax API
wanshuiyin / idea-discoveryWorkflow 1: Full idea discovery pipeline to go from a broad research direction to validated, pilot-tested ideas
wanshuiyin / paper-figureGenerate publication-quality figures and tables from experiment results
wanshuiyin / paper-planGenerate a structured paper outline from review conclusions and experiment results
wanshuiyin / run-experimentDeploy and run ML experiments on local, remote, Vast.ai, or Modal serverless GPU
wanshuiyin / alphaxivQuick single-paper lookup via AlphaXiv LLM-optimized summaries with tiered source fallback
wanshuiyin / deepxivSearch and progressively read open-access academic papers through DeepXiv
wanshuiyin / feishu-notifySend notifications to Feishu/Lark. Internal utility used by other skills, or manually via /feishu-notify
wanshuiyin / gemini-searchSearch research papers via Gemini for broad literature discovery
wanshuiyin / openalexSearch academic papers via OpenAlex API for open citation data, institutional affiliations, and funding information
wanshuiyin / qzcliManage GPU compute jobs on the Qizhi (启智) platform using qzcli — a kubectl-style CLI tool
wanshuiyin / specification-writingWrite the full patent specification from claims and invention disclosure
wanshuiyin / training-checkPeriodically check WandB metrics during training to catch problems early (NaN, loss divergence, idle GPUs). Avoids wasting GPU hours on broken runs
wanshuiyin / formula-derivationStructures and derives research formulas when the user wants to 推导公式, build a theory line, organize assumptions, turn scattered equations into a coherent derivation, or rewrite theory notes into a paper-ready formula document
wanshuiyin / meta-applyPrivileged applier that LANDS meta-optimize / corpus-audit patches the user approved — the ONLY skill permitted to mutate the skill corpus from a self-modification proposal, with cross-model jury and human approval at landing
wanshuiyin / ablation-plannerUse when main results pass result-to-claim (claim_supported=yes or partial) and ablation studies are needed for paper submission.
wanshuiyin / invention-structuringStructure a raw invention idea into a formal invention disclosure
wanshuiyin / patent-reviewGet an external patent examiner review of a patent application
wanshuiyin / research-refine-pipelineRun an end-to-end workflow that chains `research-refine` and `experiment-plan`
wanshuiyin / figure-descriptionProcess user-provided patent figures and generate formal drawing descriptions
wanshuiyin / idea-creatorGenerate and rank research ideas given a broad direction
wanshuiyin / monitor-experimentMonitor running experiments, check progress, collect results
wanshuiyin / paper-writeDraft LaTeX paper section by section from an outline
wanshuiyin / pixel-artGenerate pixel art SVG illustrations for READMEs, docs, or slides
