xcz0/lean4-eval-pipeline

增强 LLM 客户端功能，支持多种推理提供方和错误处理，优化生成 Lean 代码的调用逻辑

重构生成 Lean 代码的逻辑，增加提取计划和代码块的功能，并优化错误处理

优化 LLM 客户端配置，修正生成 Lean 代码的调用方式

调整 mathlib 预编译缓存下载和构建顺序

修正 Lean 项目初始化及 REPL 路径

优化 Dockerfile 和 app.py，修正 Lean 依赖构建命令及 REPL 执行路径

更新 Dockerfile，移除 lakefile.lean 并统一使用 TOML 配置依赖

优化 Dockerfile，修复 Python 依赖安装方式并调整系统依赖

优化 Dockerfile，调整 lean4-repl 工具的构建方式并添加 .dockerignore 文件

修复 Dockerfile 中的 COPY 命令格式错误

Initial deployment of Lean4 evaluation pipeline

initial commit