math-ai-org/mathcode

MathCode是一个终端AI编程助手，专注于数学问题解决。它能将自然语言描述的数学问题自动转换为Lean 4定理并尝试进行形式化证明，内置数学形式化引擎，适用于数学研究和形式验证。