Open Gauss is a project-scoped Lean workflow orchestrator from Math Incgithub.com/math-inc2 pointswslh3 months ago