AI & Machine Learning

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.

Publisher / source

wanshuiyin/Auto-claude-code-research-in-sleep (found on skills.sh, an awesome list)

Upstream record

wanshuiyin/Auto-claude-code-research-in-sleep

Version

Version 3

Published

2026-11-02

Publication review

Approved for publication · recorded passed scan 2026-11-02

Content fingerprint

9642682885568ebf2bb87421ee81d856c031b4adc0fe3aadd7b79b6fafbac46f