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.
statistics latex econometrics machine-learning-theory theoretical-statistics research-tools mathematical-proof claude-code proof-verification claude-skills
-
Updated
Jun 9, 2026 - Python