Getting it into your agent
It runs from inside its repository, so the clone comes first — what it calls does not travel with the file alone.
git clone --depth 1 https://github.com/gyf9712/stat-theory-skillsnpx agentmods add skills/gyf9712/stat-theory-skills/proofcheckWrote this? Show the measurements
A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.
[](https://agentmods.dev/skills/gyf9712/stat-theory-skills/proofcheck)<a href="https://agentmods.dev/skills/gyf9712/stat-theory-skills/proofcheck"><img src="https://agentmods.dev/badge/skills/gyf9712/stat-theory-skills/proofcheck/github.svg" alt="Measured on agentmods" height="20"></a>Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.
<a href="https://agentmods.dev/skills/gyf9712/stat-theory-skills/proofcheck"><img src="https://agentmods.dev/badge/skills/gyf9712/stat-theory-skills/proofcheck.svg" alt="Reviewed on agentmods" width="80" height="20"></a>What it costs to keep this loaded
Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.
| Model | Per session | Once invoked |
|---|---|---|
| Fable 5.1 | $0.00057 | $0.14325 |
| Opus 5.5 | $0.00023 | $0.05730 |
| Sonnet 5.5 | $0.00011 | $0.02865 |
| Haiku 4.5 | $0.00006 | $0.01432 |
Grade A, and why
proofcheck scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 1mo ago.
A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.
Nothing flagged
None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.
How it starts
The opening of the file, as written. The whole thing — 1,035 lines — stays where its author put it; the contents beside it link to each section on GitHub.
ProofCheck — Mathematical Proof Verification for Statistics/ML Theory Papers
🔬 Model Recommendation: Run this skill on Claude Opus for best results. Mathematical proof verification requires deep reasoning. If your session is not on Opus, run
/model opusbefore invoking. The skill will also delegate heavy reasoning to Opus sub-agents internally when the Agent tool is used.
Systematically check proofs in long technical appendices using a structured, evidence-based methodology with multi-pass verification.
Based on: https://github.com/maweiruc/proofcheck-stat-paper
Context: $ARGUMENTS
Core Objective
Given the paper's stated assumptions, definitions, and cited results, does each claimed theorem follow with the stated constants, rates, quantifiers, probability levels, domains, and edge cases?
Goal: Find correctness issues — NOT summarize the proof. Never silently repair proofs.
Operating Principles
- Evidence First: Every conclusion cites exact page/section/equation/line numbers. No vague references.
- Small Proof Units: One definition, one lemma, one proof at a time. Never verify 20+ pages at once.
- Separate Facts/Inferences/Suspicions: Verified (checked + referenced), Inferred (likely but unchecked), Suspect (possible gap).
- No Silent Repairs: If proof proves B but claims A, record the mismatch explicitly.
- Human Owns Final Judgment: Agent indexes, cross-checks, and reconstructs. Human reviews all S0/S1 issues.
Severity System, Verification Statuses, and Provability Triage
The S0-S3 severity system, the five verification statuses (Verified / Conditionally verified / Gap found / Incorrect / Not checked), and the three-class provability triage (PROVABLE AS STATED / PROVABLE AFTER WEAKENING / NOT CURRENTLY JUSTIFIED) are defined in ../stat-shared-references/proof-closure-machinery.md. That file is the single source of truth shared with proof-repair and proof-writer.
Operational note for this skill:
What this file has done since we first saw it
Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.
- 1mo ago First seen · 1,035 lines · 57 tokens per session scan A 9583178a4874
proofcheck is a skill published in the GitHub repository gyf9712/stat-theory-skills (9 stars, last pushed 2mo ago), licensed MIT. It adds 57 tokens to every session and 14,325 once invoked, about $0.0002 per session on Opus 5.5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-31.
Other skills, from other repositories
did
Design, estimate, validate, and write up a difference-in-differences analysis, using the post-2018 heterogeneity-robust toolkit with an explicit statement of which parallel-trends assumption is imposed. TRIGGER on "difference-in-differences", "DiD", "TWFE", "event study", "staggered adoption", "staggered rollout"…
field-experiment
Design, analyze, and write up randomized experiments (field experiments, A/B tests, RCTs): stratified and clustered designs, randomization inference, covariate adjustment done right, noncompliance, attrition and gated outcomes, treatment-effect heterogeneity, and interference. TRIGGER on "A/B test", "randomized…
iv
Design, estimate, validate, and write up an instrumental-variables analysis: single-instrument LATE designs, weak-instrument-robust inference, shift-share instruments, formula instruments that need recentering, and leniency (judge and examiner) designs estimated by UJIVE. TRIGGER on "instrumental variable", "IV"…
research-talk
Author a Quarto reveal.js deck for a research talk: seminar, conference, job talk, brown bag. TRIGGER on "slides for my talk", "seminar deck", "job talk", "turn this paper into slides", "add an appendix slide", "export a handout". Classroom material is teaching-lecture; auditing an existing deck is slide-review.
conjoint
Design, analyze, and write up conjoint experiments in both traditions: as randomized experiments identifying average marginal component effects, and as preference-measurement instruments (hierarchical Bayes partworths, WTP, choice-share simulation), with measurement-error correction, multiple-testing correction, and a…
rdd
Design, estimate, validate, and write up a regression discontinuity analysis, in both the continuity and local-randomization frameworks, with the full falsification battery and a refusal rule for designs that fail validation. TRIGGER on "regression discontinuity", "RDD", "running variable", "score cutoff", "rdrobust"…