/proof-writer-skills-codex
為 ML/AI 理論撰寫嚴謹的數學證明。用於證明定理、引理、命題或推論，補全缺漏的證明步驟、形式化證明草稿，或判斷所稱的證明是否成立。
- 安裝次數
- 535
- 專案星數
- 1.8 萬 ★
- 授權
- MIT
- 專案更新
- 2026-11-01
怎麼裝
npx skills add https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep --skill proof-writer安裝前請先看過原文內容。中文說明是 AI 翻譯，不保證安全。
原文
Writes rigorous mathematical proofs for ML/AI theory. Use when asked to prove a theorem, lemma, proposition, or corollary, fill in missing proof steps, formalize a proof sketch, \u8865\u5168\u8bc1\u660e, \u5199\u8bc1\u660e, \u8bc1\u660e\u67d0\u4e2a\u547d\u9898, or determine whether a claimed proof can actually be completed under the stated assumptions.