/proof-writer
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, 补全证明, 写证明, 证明某个命题, or determine whether a claimed proof can actually be completed under the stated assumptions.
- 安裝次數
- 535
- 專案星數
- 1.8 萬 ★
- 授權
- MIT
- 專案更新
- 2026-11-01
怎麼裝
npx skills add https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep --skill proof-writer安裝前請先看過原文內容。中文說明是 AI 翻譯，不保證安全。