proof-checker
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...
| Field | Value |
|---|---|
| Owner | wanshuiyin |
| Curator | Thomas Cherickal |
| Source | wanshuiyin/Auto-claude-code-research-in-sleep |
| Repo stars | 19,200 |
| License | MIT |
| Repo last push | 2026-11-14 |
Links
- Roles: quantum-computing-researcher
- Source repo: wanshuiyin/Auto-claude-code-research-in-sleep
- Same repo: render-html, mermaid-diagram, specification-writing, ablation-planner, arxiv, experiment-plan, novelty-check, openalex
- Registry seed skills for this role: quantum-computing-researcher seed skills