GitHub

proof-writer

Write a mathematically honest proof package, not a polished fake proof. DEFAULTPROOFDOC = PROOFPACKAGE.md in project roo...

by wanshuiyin

github

prior-art-search

Search patents and literature for prior art relevant to: $ARGUMENTS Adapted from /research-lit for patent-specific searc...

by wanshuiyin

github

patent-review

Get a multi-round patent examiner review of the patent application based on: $ARGUMENTS Adapted from /research-review. T...

by wanshuiyin

github

patent-pipeline

Draft a complete patent application based on: $ARGUMENTS This skill orchestrates the full patent drafting lifecycle -- f...

by wanshuiyin

github

paper-writing

Orchestrate a complete paper writing workflow for: $ARGUMENTS This skill chains five sub-skills into a single automated ...

by wanshuiyin

github

paper-poster

Generate a conference poster from: $ARGUMENTS This skill runs after Workflow 3 (/paper-writing). It takes a compiled pap...

by wanshuiyin

github

paper-plan

Generate a structured, section-by-section paper outline from: $ARGUMENTS REVIEWERMODEL = gpt-5.4 — Model used via a seco...

by wanshuiyin

github

paper-illustration

Generate publication-quality illustrations using a multi-stage workflow with Codex as the STRICT supervisor/reviewer. ┌─...

by wanshuiyin

github

paper-figure

Generate all figures and tables for a paper based on: $ARGUMENTS | Category | Can auto-generate? | Examples | |---------...

by wanshuiyin

github

paper-compile

Compile the LaTeX paper and fix any issues: $ARGUMENTS COMPILER = latexmk — LaTeX build tool. Handles multi-pass compila...

by wanshuiyin

github

novelty-check

Check whether a proposed method/idea has already been done in the literature: $ARGUMENTS REVIEWERMODEL = gpt-5.4 — Model...

by wanshuiyin

github

meta-optimize

Analyze accumulated usage logs and propose optimizations for: $ARGUMENTS ARIS is a research harness — a system of skills...

by wanshuiyin

github

mermaid-diagram

Generate high-quality Mermaid diagram code based on user requirements, with file output and verification. OUTPUTDIR = fi...

by wanshuiyin

github

jurisdiction-format

Compile the patent application into filing-ready format based on: $ARGUMENTS Analogous to /paper-compile but for patent ...

by wanshuiyin

github

idea-discovery-robot

Orchestrate a robotics-specific idea discovery workflow for: $ARGUMENTS This skill chains four sub-skills into a single ...

by wanshuiyin

github

idea-creator

Generate publishable research ideas for: $ARGUMENTS Given a broad research direction from the user, systematically gener...

by wanshuiyin

github

formula-derivation

Build an honest derivation package, not a fake polished theorem story. DEFAULTDERIVATIONDOC = DERIVATIONPACKAGE.md in pr...

by wanshuiyin

github

figure-spec

Generate publication-quality architecture diagrams, workflow pipelines, audit cascades, and system topology figures as e...

by wanshuiyin

github

figure-description

Process patent figures and generate drawing descriptions based on: $ARGUMENTS Unlike /paper-figure which generates data ...

by wanshuiyin

github

feishu-notify

Send a notification: $ARGUMENTS This skill provides Feishu/Lark integration for ARIS. It is designed as an internal util...

by wanshuiyin

github

experiment-queue

Orchestrate large batches of ML experiments on SSH remote GPU servers with proper state tracking, OOM retry, stale clean...

by wanshuiyin

github

experiment-plan

Refine and concretize: $ARGUMENTS Use this skill after the method is stable enough that the next question becomes: what ...

by wanshuiyin

github

experiment-bridge

Implement and deploy experiments from plan: $ARGUMENTS This skill bridges Workflow 1 (idea discovery + method refinement...

by wanshuiyin

github

experiment-audit

Audit experiment integrity for: $ARGUMENTS LLM agents can produce fraudulent experimental results through: Fake ground t...

by wanshuiyin

github