标签：自动化定理证明

Aristotle-MCP是一个自动化定理证明服务器，允许用户提交Lean项目、检查任务状态、下载结果和管理证明任务。