Summary
數學證明撰寫技能 — 從主張提取到 LaTeX 排版的完整證明工作流。當使用者需要撰寫或驗證數學定理、引理、命題的形式證明，或需要推導公式、整理理論分析時，一定要使用此技能。觸發詞包括：數學證明、prove、theorem、lemma、proposition、推導、理論分析、寫 proof、LaTeX…
mo7yw4ng/academic-skills
proof-writer
數學證明撰寫技能 — 從主張提取到 LaTeX 排版的完整證明工作流。當使用者需要撰寫或驗證數學定理、引理、命題的形式證明，或需要推導公式、整理理論分析時，一定要使用此技能。觸發詞包括：數學證明、prove、theorem、lemma、proposition、推導、理論分析、寫 proof、LaTeX 數學、formal proof。適用於機器學習理論、統計學習理論、最佳化等需要嚴謹數學推導的場景。
Installation
$
npx skills add https://github.com/mo7yw4ng/academic-skills
Similar popular skills
Related neighbors and high-traction skills in the same topics — useful to compare before installing.
documentation-writer
Similar name
github/awesome-copilot
Diátaxis Documentation Expert. An expert technical writer specializing in creating high-quality…
52 installs
svelte-code-writer
Similar name
sveltejs/ai-tools
CLI tools for Svelte 5 documentation lookup and code analysis. MUST be used whenever creating, …
87 installs
pr-writer
Similar name
getsentry/skills
Create or refresh reviewer-facing PR titles and descriptions. Use when opening a PR, updating i…
8 installs
skill-writer
Similar name
pytorch/pytorch
Guide users through creating Agent Skills for Claude Code. Use when the user wants to create, w…
3.5K installs
docs-writer
Similar name
google-gemini/gemini-cli
Always use this skill when the task involves writing, reviewing, or editing files in the `/docs…
3.1K installs
skill-writer
Similar name
getsentry/skills
Create, synthesize, and iteratively improve agent skills following the Agent Skills specificati…
9 installsAlso in this package
Other skills from mo7yw4ng/academic-skills.
npx skills add https://github.com/mo7yw4ng/academic-skills
More details
Agent compatibility
Declared targets from SKILL.md / docs. Unmarked agents are not listed — the skill may still install via the CLI.
Claude Code
Not declared
Cursor
Not declared
Codex
Not declared
GitHub Copilot
Not declared
Windsurf
Not declared
Gemini CLI
Not declared
Cline
Not declared
OpenCode
Not declared
Repository health
Stars
52
License
LICENSE
Default branch
main
Status
Active
History
- First seen on skills.sh
- First recorded snapshot · 44 installs