standard-model
GIFT Core: Certified mathematical identities from E8×E8 gauge theory on G2 manifolds. Verified in Lean 4
Universal Measurement Contract Protocol (UMCP) — a contract-first validation framework implementing Generative Collapse Dynamics. 23 domains · 746 proven theorems · 20k+ tests · 44 structural identities · Python + C++17 accelerator.
Feynman diagram generation and cross section calculations
Web frontend for building and exporting Feynman diagrams.
