~ / skills / finance / proof-checker

proof-checker

Rigorous mathematical proof verification and fixing workflow. Reads a LaTeX proof, identifies gaps via fresh-agent Codex GPT-5.6-Sol ultra review, fixes each gap with full…

Industry: finance
License: Unverified
Source repo: wanshuiyin/Auto-claude-code-research-in-sleep · ★ 13,392
Source file: skills/skills-codex/proof-checker/SKILL.md

View full SKILL.md on GitHub →

不会安装？看中文图文教程 →