Skip to content
SkillCheatSheet Sign in

proof-checker

An AI agent skill from wanshuiyin/Auto-claude-code-research-in-sleep, scored 81 out of 100 by code.

81/ 100B

Code score by group

  • Spec16/20
  • Description16/20
  • Procedure15/15
  • Done criteria15/15
  • Resources7/10
  • Scripts2/8
  • Safety7/7
  • Upkeep3/5

It loses the most points in Scripts (6), the group that checks whether scripts are called from the steps and fail with a clear error.

What the author says it does

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.

This is the description in the skill's own SKILL.md, written by its author, not by SkillCheatSheet.

Repository
wanshuiyin/Auto-claude-code-research-in-sleep
Folder
skills/proof-checker
License
MIT
GitHub stars
19,072
SKILL.md lines
901
Other files
0

Add proof-checker to your agent

npx skills add wanshuiyin/Auto-claude-code-research-in-sleep --skill proof-checker

The command uses the open skills CLI. A skill is instructions and scripts your agent will follow, so read it first: open the folder on GitHub at the commit that was scored.

Labelled for

More skills from wanshuiyin/Auto-claude-code-research-in-sleep

  1. 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, 补…

    Verified87A
  2. claims-drafting

    Draft patent claims for an invention. Use when user says "撰写权利要求", "draft claims", "写权利要求书", "claim drafting", or wants to create patent claims. The core skill of the patent pipel…

    Verified85A
  3. paper-compile

    Compile LaTeX paper to PDF, fix errors, and verify output. Use when user says "编译论文", "compile paper", "build PDF", "生成PDF", or wants to compile LaTeX into a submission-ready PDF.

    Verified85A
  4. figure-spec

    Generate deterministic publication-quality architecture, workflow, and pipeline diagrams from structured JSON (FigureSpec) into editable SVG. Use when user says "架构图", "workflow 图…

    Verified84B
  5. rebuttal

    Workflow 4: Submission rebuttal pipeline. Parses external reviews, enforces coverage and grounding, drafts a safe text-only rebuttal under venue limits, and manages follow-up roun…

    Verified84B
  6. integrity-forensics

    Run the Anti-Autoresearch integrity-forensics sweep (span-anchored evidence ledger → GPT auditors propose findings → a rules-only reporter that lists every proposal with what the…

    Verified83B
  7. idea-creator

    Generate and rank research ideas given a broad direction. Use when user says "找idea", "brainstorm ideas", "generate research ideas", "what can we work on", or wants to explore a r…

    82B
  8. formula-derivation

    Structures and derives research formulas when the user wants to 推导公式, build a theory line, organize assumptions, turn scattered equations into a coherent derivation, or rewrite th…

    Verified81B

All skills in wanshuiyin/Auto-claude-code-research-in-sleep

Scores come from a snapshot of 300 public GitHub repositories taken on 12 November 2026. Every score is the result of fixed checks run by code; no AI is involved. How scoring works.