Individual skill
math-paper-campaign
Run a careful, multi-step campaign on a complete mathematical LaTeX paper — either building it from a proof outline, notes, a formal (Lean) development, or an earlier draft, or taking an already checked manuscript through phased polishing (reduce, cite, linearise, rewrite, introduction, final audit) to a publication-ready paper. Use for whole-paper writing, rewriting, or "make this paper better" requests that need statement-by-statement control, independent reviews, ledgers, and rendered-page checks.
skills/math-paper-campaign/SKILL.md
Source commit 4ec9c7bf76f0bdf931a00134cefe1f8ab7548e02
What was checked
- Matches the observed repository HEAD
- Yes
- Scanner rules are current
- No
- Repository scan complete
- No
- Skill scan complete
- No
- Observed behavior
- Not checked yet
- Last checked
- Nov 6, 2026
These are observations at the recorded commit, not a guarantee of safety. Review the source before running it.
Install this skill
Choose an agent in your Stack or copy a command below. Commands fetch the pinned commit and copy only this skill directory. Existing destinations are refused. Copying a command does not install anything.
An install command is unavailable: current rules, complete repository and skill scans, an eligible behavior level and a permitted license are required.
Repository context
- Repository stars (not skill ratings)
- 48
- Repository last updated
- Oct 24, 2026
- License
- NOASSERTION
Observed agent integration: No specific integration evidence. Standard SKILL.md installation does not imply verified compatibility.
- agent-skills Repository topic
- latex Repository topic
- lean4 Repository topic
- mathematics Repository topic
- marketing Derived category
- writing Derived category
- security Derived category
- productivity Derived category
- research Derived category
- productivity-notes Derived category
Files and excerpt
File metadata and permitted, redacted excerpts come from the recorded scan. Source links are pinned to that commit.
Browse files
SKILL.mdcore · 5,022 bytesSKILL.mdcore · 5,022 bytesSKILL.mdcore · 5,022 bytesagents/openai.yamlasset · 336 bytesreferences/control-artifacts.mddoc · 9,989 bytesreferences/from-formalization.mddoc · 5,604 bytesreferences/route-build.mddoc · 12,361 bytesreferences/route-polish.mddoc · 27,130 bytesreferences/shared-controls.mddoc · 11,944 bytes
No licensed excerpt is available. You can inspect the pinned source.