A 4-skill pipeline for Claude Code: verify mathematical proofs → repair with literature support → sharpen the theory → write corrected proofs. Integrates Codex MCP for adversarial cross-review. Venue-audited reference library across statistics/econometrics/ML theory.
Skill Claude Code needs its repo
Generate self-consistent repair plans for mathematical proof issues found by /proofcheck, with literature-backed support. For each problematic assumption, model, proposition, or theorem, proposes fixes that preserve the full dependency chain and searches arXiv, Semantic Scholar, and Google Scholar for new references…
Skill Claude Code
A proof-writing aid for mathematical results in machine learning and artificial intelligence theory. It checks whether the stated assumptions actually support each proof step.
Skill Claude Code needs its repo
A systematic checker for mathematical proofs in statistics and machine-learning research papers.
Skill Claude Code
Design a coherent theoretical framework for a new statistics / ML theory research topic, paper-type aware. Three modes — Theory paper (explain phenomena or provide new theoretical tools), Methodology paper (propose a new method with theoretical guarantees), Application paper (apply existing methods to scientific data…
Skill Claude Code
A framework for testing whether a research paper’s theoretical results can be made stronger, such as by using fewer assumptions or proving faster rates. It also checks whether the theory matches the model, experiments, and existing research.
Skill Claude Code
Bridge between theoretical results and Monte Carlo simulation, built to top-stat-journal standards (AoS, JASA, JRSS-B, Biometrika, Bernoulli). Two modes: (1) DESIGN mode — for each theoretical claim, design new simulations that verify rates, coverage, stress-test assumptions, and reveal theory-improvement…
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: