/proof-checker-skills-codex
Rigorous mathematical proof verification and fixing workflow. Reads a LaTeX proof, identifies gaps via fresh-agent Codex GPT-6-Astra ultra review, fixes each gap with full derivations, re-reviews, and generates an audit report. Base review is same-family provisional. Use when user says "检查证明"…
- 安裝次數
- 493
- 專案星數
- 1.8 萬 ★
- 授權
- MIT
- 專案更新
- 2026-11-01
怎麼裝
npx skills add https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep --skill proof-checker安裝前請先看過原文內容。中文說明是 AI 翻譯，不保證安全。
原文
Rigorous mathematical proof verification and fixing workflow. Reads a LaTeX proof, identifies gaps via fresh-agent Codex GPT-6-Astra ultra review, fixes each gap with full derivations, re-reviews, and generates an audit report. Base review is same-family provisional. Use when user says "检查证明", "verify proof", "proof check", "审证明", "check this proof", or wants rigorous mathematical verification of a theory paper.