openmathmodel / open-math-harness The harness of Open Math OS, infrastructure for Math 2.0. Built for everyday math research. ai-agents llm-app mathematics