English
AI Agent

mathcode

math-ai-org/mathcode

面向数学与Lean证明的终端编程智能体,可读写工作区、检索验证证明,支持CLI与本地WebUI交互。

标签