Academic Integrity Rewrite
lin1111-1/academic-integrity-rewrite
Revise Chinese or English academic writing for lower unnecessary textual overlap while preserving meaning, evidence, numbers, equations, terminology, and citations.
Plans, drafts, audits, formats and verifies a formal mathematical-modeling paper from an evidence chain, delivering audited Markdown and a Word file with native equations.
$ npx skills add yushui2022/MathModel-Skill --skill paper-formal-writer -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install yushui2022/MathModel-Skill paper-formal-writer --agent claude-codeProject scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).
$ git clone --depth 1 https://github.com/yushui2022/MathModel-Skill.git skills-src && mkdir -p .claude/skills && cp -r skills-src/packages/trae/.trae/skills/paper-formal-writer .claude/skills/paper-formal-writer && rm -rf skills-srcUse ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.
Claude Code skills documentation · loads skills from .claude/skills/
Install the "paper-formal-writer" agent skill from https://github.com/yushui2022/MathModel-Skill/tree/standard/packages/trae/.trae/skills/paper-formal-writer into .claude/skills/paper-formal-writer/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "paper-formal-writer", then confirm the skill loads.Claude Code copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$skill-installer install https://github.com/yushui2022/MathModel-Skill/tree/standard/packages/trae/.trae/skills/paper-formal-writerType this inside Codex. $skill-installer <name> installs a curated skill from openai/skills. The installer writes to $CODEX_HOME/skills (default ~/.codex/skills). Restart Codex if the skill does not show up.
$ npx skills add yushui2022/MathModel-Skill --skill paper-formal-writer -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install yushui2022/MathModel-Skill paper-formal-writer --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/yushui2022/MathModel-Skill.git skills-src && mkdir -p .agents/skills && cp -r skills-src/packages/trae/.trae/skills/paper-formal-writer .agents/skills/paper-formal-writer && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "paper-formal-writer" agent skill from https://github.com/yushui2022/MathModel-Skill/tree/standard/packages/trae/.trae/skills/paper-formal-writer into .agents/skills/paper-formal-writer/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "paper-formal-writer", then confirm the skill loads.Codex copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add yushui2022/MathModel-Skill --skill paper-formal-writer -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install yushui2022/MathModel-Skill paper-formal-writer --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/yushui2022/MathModel-Skill.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/packages/trae/.trae/skills/paper-formal-writer .cursor/skills/paper-formal-writer && rm -rf skills-srcUse ~/.cursor/skills/ instead of .cursor/skills for a personal install.
Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/
Install the "paper-formal-writer" agent skill from https://github.com/yushui2022/MathModel-Skill/tree/standard/packages/trae/.trae/skills/paper-formal-writer into .cursor/skills/paper-formal-writer/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "paper-formal-writer", then confirm the skill loads.Cursor copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gemini skills install https://github.com/yushui2022/MathModel-Skill.git --path packages/trae/.trae/skills/paper-formal-writer--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.
$ npx skills add yushui2022/MathModel-Skill --skill paper-formal-writer -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install yushui2022/MathModel-Skill paper-formal-writer --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/yushui2022/MathModel-Skill.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/packages/trae/.trae/skills/paper-formal-writer .gemini/skills/paper-formal-writer && rm -rf skills-srcUse ~/.gemini/skills/ instead of .gemini/skills for a personal install, then run /skills reload.
Gemini CLI skills documentation · loads skills from .gemini/skills/, .agents/skills/
Install the "paper-formal-writer" agent skill from https://github.com/yushui2022/MathModel-Skill/tree/standard/packages/trae/.trae/skills/paper-formal-writer into .gemini/skills/paper-formal-writer/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "paper-formal-writer", then confirm the skill loads.Gemini CLI copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gh skill install yushui2022/MathModel-Skill paper-formal-writerInstalls for Copilot at project scope by default; add --scope user for a personal install. Preview a skill first with gh skill preview. Needs GitHub CLI 2.90.0 or later (public preview).
$ npx skills add yushui2022/MathModel-Skill --skill paper-formal-writer -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/yushui2022/MathModel-Skill.git skills-src && mkdir -p .github/skills && cp -r skills-src/packages/trae/.trae/skills/paper-formal-writer .github/skills/paper-formal-writer && rm -rf skills-srcUse ~/.copilot/skills/ instead of .github/skills for a personal install. Commit .github/skills so cloud agent and code review can use it.
GitHub Copilot skills documentation · loads skills from .github/skills/, .claude/skills/, .agents/skills/
Install the "paper-formal-writer" agent skill from https://github.com/yushui2022/MathModel-Skill/tree/standard/packages/trae/.trae/skills/paper-formal-writer into .github/skills/paper-formal-writer/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "paper-formal-writer", then confirm the skill loads.GitHub Copilot copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add yushui2022/MathModel-Skill --skill paper-formal-writer -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install yushui2022/MathModel-Skill paper-formal-writer --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/yushui2022/MathModel-Skill.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/packages/trae/.trae/skills/paper-formal-writer .opencode/skills/paper-formal-writer && rm -rf skills-srcUse ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.
OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/
Install the "paper-formal-writer" agent skill from https://github.com/yushui2022/MathModel-Skill/tree/standard/packages/trae/.trae/skills/paper-formal-writer into .opencode/skills/paper-formal-writer/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "paper-formal-writer", then confirm the skill loads.OpenCode copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
paper-formal-writerPlans, drafts, audits, formats and verifies a formal mathematical-modeling paper from an evidence chain, delivering audited Markdown and a Word file with native equations.
This is the final authoring stage of a staged mathematical-modeling workflow. It starts only after a guard script confirms that the earlier stages, S0 through S6, passed, then turns the fresh evidence chain into an audited Markdown manuscript and a Word document with native equations. One script builds an evidence-aware outline and another prepares adaptive authoring, writing contracts such as the writing plan, authoring state, draft audit and repair queue under `paper_output/`.
The default delivery targets competition papers: a plan of at least 14000 effective characters, a main-paper floor of 8000 and at least 18 rendered pages before appendices, all adjustable and to be checked against the real contest's rules. Chapters are written one unit at a time to the path in the authoring state and each is audited with `validate_authoring.py`. Routing is rule-based: a section that fails once is rewritten, and a global pass that hits the same blocking category twice drops back to section-level work. Further scripts assemble sections, check paper format and format the Word output.
2 steps, taken from the first numbered list in SKILL.md.
Read from SKILL.md and the folder at commit 7712876. It shows what the files ask for, not the result of running them.
Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.
From allowed-tools in the SKILL.md frontmatter.
Ships 9 files in scripts/ (Python), which the agent can run.
Shell commands in SKILL.md call:
pythonFrom the folder's file list and the shell code blocks in SKILL.md.
No URLs in SKILL.md.
From URLs in SKILL.md, links to its own repository left out.
Names no API keys, tokens, secrets or passwords.
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.
Formal Modeling Paper Writer loads about 1.6k tokens when it runs, and up to ~4.1k if it reads all its reference files. Until then it costs about 59 tokens; SKILL.md has 578 words of instructions outside code blocks.
Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.
The automated check found no risky patterns in SKILL.md.
Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); the scripts in this folder are not scanned.
The full file from yushui2022/MathModel-Skill at commit 7712876, republished under its MIT licence (© yushui2022). 578 words, ~1,623 tokens.
.claude/skills/paper-formal-writer/SKILL.md (or your agent's skills folder). This skill also uses 15 other files; get the full folder from GitHub.This skill is the sole formal author and final manuscript producer in Standard. It turns a fresh S6 evidence chain into an audited Markdown source and native-equation Word document.
Run before formal work:
python .trae/skills/paper-workflow-orchestrator/scripts/workflow_guard.py --skill paper-formal-writerS0-S6 must pass. If workflow state is uncertain, run workflow_guard.py --status and follow its current artifact report rather than memory.
S6 evidence PASS
-> writing plan
-> chapter drafts
-> chapter audits
-> queued local repair when required
-> deterministic assembly
-> Agent global revision
-> final Markdown audit
-> formal DOCX
-> S8 format/render gateDo not promote quickstart, legacy, or mechanically merged micro-unit output into a formal filename.
python .trae/skills/paper-formal-writer/scripts/build_paper_outline.pypython .trae/skills/paper-formal-writer/scripts/prepare_authoring.py --mode autoDefault delivery is competition: plan at least 14000 effective characters, with a main-paper floor of 8000 and at least 18 rendered pages before appendices. These are adjustable project defaults, not contest rules. Verify the actual contest's page cap and counting rules before writing. auto therefore selects section; a short report needs --delivery short-report --scope-reason "user-requested scope". Custom floors use --min-pages / --min-body-chars with a reason; never lower them merely to turn a failed check green.
Read references/competition-scope.md when preparing scope or repairing a short manuscript. Several authoring turns may produce one coherent chapter; preserve evidence and notation between turns instead of compressing the paper into one response.
The authoritative S7 contracts are:
paper_output/plan/writing_plan.jsonpaper_output/context/authoring_state.jsonpaper_output/qa/draft_audit.jsonpaper_output/qa/repair_queue.jsonWrite only to the path recorded for the current unit in authoring_state.json. Each chapter must be a complete, coherent section and must include its required removable marker:
<!-- mathmodel-evidence: evidence-id-1, evidence-id-2 -->Audit every changed draft:
python .trae/skills/paper-formal-writer/scripts/validate_authoring.py --section <section-id>Routing is deterministic:
global repeats the same blocking category twice: switch to section.$paper-micro-unit-generator may repair only queued locations.BLOCKED; report the cause and suggest Lite as a user choice without switching automatically.Audits block short drafts, missing chapters/evidence/numbers, broken formulas, placeholders, duplicate prose, broken figure/table references, and internal workflow language.
After all active units pass:
python .trae/skills/paper-formal-writer/scripts/assemble_sections.py
python .trae/skills/paper-formal-writer/scripts/validate_authoring.py --assembledThe assembler follows outline order, strips evidence comments, and preserves existing numbering. It writes paper_output/drafts/assembled_draft.md.
Then read the entire assembled draft and evidence chain, and rewrite the paper globally into:
paper_output/final_paper_source.mdThis pass must unify terminology, notation, transitions, argument order, citations, captions, and conclusions. Copying the assembled draft unchanged is rejected.
Run the final source audit:
python .trae/skills/paper-formal-writer/scripts/validate_authoring.py --finalAny change to evidence, writing plan, approved section draft, assembly, or final source invalidates downstream PASS state.
Only after authoring_state.status = PASS:
python .trae/skills/paper-formal-writer/scripts/format_formal_docx.py
python .trae/skills/paper-formal-writer/scripts/check_paper_format.py --render requiredFormal mode requires fresh S6 and S7 hashes. --allow-draft may create final_paper_draft.docx for layout diagnosis, but never satisfies S7/S8 or overwrites the formal DOCX.
format_formal_docx.py converts LaTeX to editable Word OMML and blocks failed conversion. check_paper_format.py checks dynamic length, required hierarchy, citations, evidence-linked figures/tables, formulas, duplicate prose, DOCX structure, LibreOffice PDF rendering, page count, and extractable text.
1 / 1.1 / 1.1.1 headings and complete CUMCM sections.Read only the reference needed for the current writing or repair decision.
After each meaningful transition, run workflow status and update paper_output/context/workflow_memory.json:
python .trae/skills/paper-workflow-orchestrator/scripts/workflow_guard.py --status
python .trae/skills/context-memory-keeper/scripts/update_workflow_memory.pyS8 is complete only when the machine-readable format report is PASS and fresh.
© yushui2022, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file
SKILL.md and 15 other files (scripts, references) in packages/trae/.trae/skills/paper-formal-writer of yushui2022/MathModel-Skill.
Open the folder on GitHubat commit 7712876
Formal Modeling Paper Writer next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.
| Skill | Stars | Used in | Tokens | Auto-check | Licence | Repo updated |
|---|---|---|---|---|---|---|
| Formal Modeling Paper Writer this skillyushui2022/MathModel-Skill | 454 | — | ~1.6k | Automated safety check: Pass | MIT | |
| Academic Integrity Rewritelin1111-1/academic-integrity-rewrite | 102 | — | ~1.1k | Automated safety check: Pass | MIT | |
| Math Modeling Competition WorkflowXiaoMaColtAI/math-modeling-skill | 1.9k | — | ~1.2k | Automated safety check: Pass | None | |
| PRISMA Systematic Review Writerkeemanxp/slr-prisma | 102 | 1 repos | ~7.1k | Automated safety check: Pass | MIT | |
| Word Document Reader and WriterHKUDS/DeepTutor | 41k | — | ~2.5k | Automated safety check: Pass | Apache-2.0 | |
| Markdown to Word Convertercat-xierluo/SuitAgent | 205 | — | ~559 | Automated safety check: Pass | MIT |
lin1111-1/academic-integrity-rewrite
Revise Chinese or English academic writing for lower unnecessary textual overlap while preserving meaning, evidence, numbers, equations, terminology, and citations.
XiaoMaColtAI/math-modeling-skill
Three-role workflow for math modeling contests: problem analysis, code and results, then a paper, with independent subagent checks at each stage gate.
keemanxp/slr-prisma
Guides you through writing a systematic literature review to the PRISMA 2020 checklist, producing a journal-format Word manuscript, a flow diagram and APA 7th references.
HKUDS/DeepTutor
Reads, creates and edits Word .docx files with python-docx, and drops to raw OOXML for tracked changes, comments and byte-exact edits.
cat-xierluo/SuitAgent
Converts Markdown files into Word documents formatted to Chinese typesetting conventions, with presets for academic, legal, report and book layouts.
LeoYeAI/openclaw-master-skills
AI-powered biomedical manuscript generation with docx output.
yushui2022/MathModel-Skill
Builds a scoring-aligned outline for a mathematical modeling paper and a model selection plan with baseline, improvement and validation experiments.
yushui2022/MathModel-Skill
Generates result-evidence contracts, tables and runnable q1 to q3 modeling code scaffolds for a math modeling paper from a model route, a data plan and cleaned data.
yushui2022/MathModel-Skill
Repairs one failing section of a mathematical modeling paper from the repair queue, or builds a legacy or quickstart scaffold when you ask for one by name.
yushui2022/MathModel-Skill
Finds authoritative public data sources for modeling tasks, prefers official APIs and bulk downloads, and outputs a reproducible fetch and cleaning plan with citations.
yushui2022/MathModel-Skill
Maintains a two-layer persistent memory for a math-modeling paper workflow: long-term rules plus a short-term workbench, with finished tasks archived.
yushui2022/MathModel-Skill
Cleans raw or scraped competition data and produces exploratory charts and a figure plan as one stage of a mathematical modeling paper workflow.
Works with
Categories
Plans, drafts, audits, formats and verifies a formal mathematical-modeling paper from an evidence chain, delivering audited Markdown and a Word file with native equations. This is the final authoring stage of a staged mathematical-modeling workflow. It starts only after a guard script confirms that the earlier stages, S0 through S6, passed, then turns the fresh evidence chain into an audited Markdown manuscript and a Word document with native equations.
Formal Modeling Paper Writer fits situations like: writing the full formal paper for a mathematical modeling competition after the evidence checks pass; auditing and revising draft chapters against a paper standard; producing a formatted Word manuscript with native equations.
Run `npx skills add yushui2022/MathModel-Skill --skill paper-formal-writer -a claude-code`. Or copy the skill folder (packages/trae/.trae/skills/paper-formal-writer in yushui2022/MathModel-Skill) into .claude/skills/paper-formal-writer in your project. Claude Code loads it when a task matches its description.
Run `npx skills add yushui2022/MathModel-Skill --skill paper-formal-writer -a codex`. Or copy the skill folder (packages/trae/.trae/skills/paper-formal-writer in yushui2022/MathModel-Skill) into .agents/skills/paper-formal-writer in your project. Codex loads it when a task matches its description.
Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add yushui2022/MathModel-Skill --skill paper-formal-writer -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/paper-formal-writer, .gemini/skills/paper-formal-writer, .github/skills/paper-formal-writer and .opencode/skills/paper-formal-writer in your project.
Going by SKILL.md and its folder, Formal Modeling Paper Writer needs Python for the scripts in its folder and the command-line tools its instructions call (python). Our summary lists: Python; The earlier workflow stages S0 to S6 passed, as checked by the workflow guard script.
SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.
Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. The check reads SKILL.md only: the scripts in the folder are not scanned, so read them before running anything.
Formal Modeling Paper Writer is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.
About 1.6k tokens (SKILL.md is roughly 6.5k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full. Its references folder adds about 2.4k tokens, read only when the agent opens those files.
Skills that share tags, products or a category with Formal Modeling Paper Writer: Academic Integrity Rewrite (lin1111-1/academic-integrity-rewrite, 102 stars), Math Modeling Competition Workflow (XiaoMaColtAI/math-modeling-skill, 1.9k stars), PRISMA Systematic Review Writer (keemanxp/slr-prisma, 102 stars) and Word Document Reader and Writer (HKUDS/DeepTutor, 41k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
yushui2022 (a GitHub user) maintains it in yushui2022/MathModel-Skill, which has 454 GitHub stars. The repository holds 10 skills in this directory. The repository was last updated on October 7, 2026.
Source: yushui2022/MathModel-Skill on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.