Summary
數學證明撰寫技能 — 從主張提取到 LaTeX 排版的完整證明工作流。當使用者需要撰寫或驗證數學定理、引理、命題的形式證明，或需要推導公式、整理理論分析時，一定要使用此技能。觸發詞包括：數學證明、prove、theorem、lemma、proposition、推導、理論分析、寫 proof、LaTeX…
voidful/academic-skills · Archived
proof-writer
Installation
$
npx skills add https://github.com/voidful/academic-skills
Stronger alternatives
This repository is archived — consider an actively maintained alternative.
academic-research
Same source · more installs
voidful/academic-skills
Complete academic research skill suite covering the full pipeline: paper reading (read/explain …
74 installs
professor-fit-analyzer
Same source · more installs
voidful/academic-skills
analyze a professor from google scholar, publication lists, personal websites, lab pages, and f…
7 installs
idea-generation
Same source · more installs
voidful/academic-skills
學術研究的 Idea 產生技能——從發散到收斂，系統化地產出高品質研究構想。當使用?
7 installs
paper-writing
Same source
voidful/academic-skills
頂級會議論文寫作技能——以嚴格 reviewer 視角指導從草稿到終稿的完整寫作流程。當使用?
6 installsSimilar 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…
26.2K installs
svelte-code-writer
Similar name
sveltejs/ai-tools
CLI tools for Svelte 5 documentation lookup and code analysis. MUST be used whenever creating, …
9.7K installs
pr-writer
Similar name
getsentry/skills
Create or refresh reviewer-facing PR titles and descriptions. Use when opening a PR, updating i…
3.9K 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.1K 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…
1.9K installsAlso in this package
Other skills from voidful/academic-skills.
npx skills add https://github.com/voidful/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
126
License
LICENSE
Default branch
main
Open issues
0
Status
Archived
History
- First seen on skills.sh
- First recorded snapshot · 6 installs