14,560 skills found Β· Page 83 of 486
wanshuiyin / mermaid-diagramGenerate Mermaid diagrams from user requirements. Supports flowcharts, sequence diagrams, class diagrams, ER diagrams, Gantt charts, and 18 more diagram types.
wanshuiyin / meta-optimizeAnalyze 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)
wanshuiyin / paper-claim-auditZero-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 confirmation bias
wanshuiyin / paper-illustration-image2Generate publication-quality academic illustrations through a local Codex app-server bridge that uses Codex native image generation.
wanshuiyin / paper-illustrationGenerate publication-quality AI illustrations for academic papers using Gemini image generation. Creates architecture diagrams, method illustrations with Claude-supervised iterative refinement loop
wanshuiyin / paper-poster-htmlDEFAULT 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-hue design-token system, and print-ready PDF via headless Chromium
wanshuiyin / paper-slidesGenerate conference presentation slides (beamer LaTeX β PDF + editable PPTX) from a compiled paper, with speaker notes and full talk script
wanshuiyin / paper-talkEnd-to-end conference talk pipeline: paper β slide outline β Beamer + PPTX β per-page polish β assurance checks (claim / citation / anonymity) β final export and report. Default-good for academic conference talks (NeurIPS / ICML / ICLR / VALSE / ζη¨Ώ talks).
wanshuiyin / patent-pipelineFull patent drafting pipeline from invention description to jurisdiction-formatted filing documents. Supports CN (CNIPA), US (USPTO), EP (EPO). Supports invention patents and utility models
wanshuiyin / render-htmlRender 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
wanshuiyin / research-implement-featureBuild 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 assumption ledger BEFORE the code that depends on it and a cross-model sweep for the ones that slipped through undeclaβ¦
wanshuiyin / research-pipelineFull end-to-end research pipeline: from a broad research direction through idea discovery, experiments, and review all the way to a polished paper PDF
wanshuiyin / research-refineTurn a vague research direction into a problem-anchored, elegant, frontier-aware, implementation-oriented method plan via iterative GPT-6-Astra review
wanshuiyin / research-wikiPersistent research knowledge base that accumulates papers, ideas, experiments, claims, and their relationships across the entire research lifecycle. Inspired by Karpathy's LLM Wiki pattern
wanshuiyin / resubmit-pipelineWorkflow 5: orchestrate a text-only resubmit of a polished paper to a different venue under hard constraints (no new experiments, no bib edits, no framework changes, never overwrite prior submissions)
wanshuiyin / result-to-claimUse when experiments complete to judge what claims the results support, what they don't, and what evidence is still missing. Codex MCP evaluates results against intended claims and routes to next action (pivot, supplement, or confirm).
wanshuiyin / serverless-modalRun GPU workloads on Modal β training, fine-tuning, inference, batch processing. Zero-config serverless: no SSH, no Docker, auto scale-to-zero
wanshuiyin / slides-polishPer-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 OK' but the user wants a final pass that aligns visual weight with a reference, bumps PPTX fonts to projector-readable sβ¦
wanshuiyin / web-debug-searchSearch GitHub, Stack Exchange, Chinese technical communities, official documentation, and general developer web sources for software errors, compatibility problems, API usage questions, and real-world workarounds. Use for debugging and discovery only; results are not paper-citation evidence.
wanshuiyin / auto-review-loop-llmAutonomous 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".
wanshuiyin / experiment-planTurn 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, ablation matrix, evaluation protocol, run order, compute budget, or paper-ready validation that supports the core problβ¦
wanshuiyin / figure-specGenerate deterministic publication-quality architecture, workflow, and pipeline diagrams from structured JSON (FigureSpec) into editable SVG
wanshuiyin / overleaf-syncTwo-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
wanshuiyin / semantic-scholarSearch published venue papers (IEEE, ACM, Springer, etc.) via Semantic Scholar API. Complements /arxiv (preprints) with citation counts, venue metadata, and TLDR
wanshuiyin / citation-crosscheckDouble-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 while blind to the .bib, and a third extractor emits a mechanical field-by-field delta to catch dropped/re-ordered authors,β¦
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
