Verified record · from the answer index

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 ac

skill:wanshuiyin/auto-claude-code-research-in-sleep/proof-writer · published by wanshuiyin · source repository