Math Research Lab
codexGeneral mathematical research audit plugin for formalization, proof checking, numerical validation, statistical testing, spectral geometry, concept disambiguation, cautious concept discovery, and adversarial research judging.
16 skills
1