← All skills

proof-checker

95 / 100 · Low risk

Fine to try.

By wanshuiyin/Auto-claude-code-research-in-sleep (GitHub) · research · 19,020 stars · scanned at commit 8f49392

Rigorous mathematical proof verification and fixing workflow. Reads a LaTeX proof, identifies gaps via cross-model review (external reviewer backend, ultra reasoning), fixes each gap with full derivations, re-reviews, and generates an audit report. Use when user says "检查证明", "verify proof", "proof check", "审证明", "check this proof", or wants rigorous mathematical verification of a theory paper.

Works with any agent that supports SKILL.md skills.

What this skill can do

Other copies in this repository

wanshuiyin/Auto-claude-code-research-in-sleep has 1 more folder with a skill named proof-checker. This page shows the lowest-scoring copy.

• skills/skills-codex/proof-checker 95/100 · Low risk

Install

Paste this into your terminal. It downloads exactly the version we scanned, not whatever is newest.

if [ -e ~/.agents/skills/'proof-checker' ] || [ -L ~/.agents/skills/'proof-checker' ]; then echo 'A skill folder named proof-checker already exists — not replacing it' >&2; false; else d=$(mktemp -d) && git clone --quiet --filter=blob:none --no-checkout 'https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep' "$d" && git -C "$d" checkout --quiet '8f493923f28c3f991dcca1287db97aa780d0969b' -- 'skills/proof-checker' && mkdir -p ~/.agents/skills && cp -R "$d"/'skills/proof-checker' ~/.agents/skills/'proof-checker' && rm -rf "$d"; fi

Codex reads ~/.agents/skills directly. For Claude Code, Cursor, Copilot, Gemini CLI, Antigravity or OpenCode, also link it. For Claude Code: ln -s ~/.agents/skills/'proof-checker' ~/.claude/skills/'proof-checker' (other agents: ~/.cursor/skills, ~/.copilot/skills, ~/.gemini/skills, ~/.gemini/config/skills, ~/.config/opencode/skills). Or install through the finder skill, which does both.

Badge for your README

The badge for wanshuiyin/Auto-claude-code-research-in-sleep shows the score of its lowest-scoring skill.

[![SkillTrust](https://zalavijaysinh.github.io/skilltrust/badges/wanshuiyin/Auto-claude-code-research-in-sleep.svg)](https://zalavijaysinh.github.io/skilltrust/repos/wanshuiyin/Auto-claude-code-research-in-sleep/)

Score history