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.

(WIP) Metamath proof verifier

Moved to AI2Human Network: https://github.com/ai2humannetwork

Pure-Go UltraHonk proof verifier for BN254. Verify Noir circuit proofs natively in Go without Barretenberg.

Verify a Circom proof in a Casper Smart Contract

Formalization of Hilbert Spaces and the Riesz Representation Theorem in Lean 4

ProofCore is a browser-native, 100% offline-first, hybrid mathematical proof verification engine. It combines rigorous symbolic math with semantic understanding to reliably verify mathematical proofs, offering zero external dependencies and production-ready quality

Verifier-backed math reasoning lab for proof flaw localization, minimal repair, and RL-style evaluation.

Structured proof schemas, validation helpers, reviewer outputs, and proof hash utilities.

Production-tested skills for AI coding agents. Compatible with Claude Code, Codex, Gemini CLI, Cursor, and more.

Substrate pallet for on-chain proof verification

TypeScript SDK and CLI for Herodotus Cloud.

ProofCore is a premium cheat provider known for high-security bypasses and limited-slot releases. It is a free tool for high-security competitive shooters on Windows.

Independent mathematical audit of TurboQuant (online vector quantization). Reviews lower-bound proofs, bit-budget claims, and theorem validity. Verdict: core idea is sound; strongest theoretical claims are overstated.