MeatheadPhysicist

projectactive

MeatheadPhysicist (CLI: mph, deployed at mhphys.online, repo alawein/meatheadphysicist) is a computational physics framework focused on Bell inequality and quantum mechanics: a CHSH simulator, an anti-hallucination claim verifier, and Lean-formalized proofs.

Components

  • CHSH simulator — exact Tsirelson bound computations using mpmath arbitrary precision; classical/quantum/PR-box value comparisons
  • Anti-hallucination verifier — claim validator for AI-generated physics content (catches false statements about Bell inequalities, quantum mechanics, etc.)
  • Lean-formalized proofs — formal proof artifacts under proofs/ for foundational results
  • Static site — built via site_builder/ (Jinja2 templates) into website/ and deployed via Vercel

Tech Stack

Python 3.10+ with NumPy, SciPy, mpmath (arbitrary precision), SymPy. FastAPI for any API endpoints. Static site generated by site_builder/ into website/. Deployed at mhphys.online via Vercel.

Note: Three-way name divergence: repo meatheadphysicist, deployed domain mhphys.online, CLI mph. The built <title>MHP — MHP</title> template variable is unset at last audit.