archerkattri

io.github.Archerkattri/mathlas

为 AI 代理提供定理检索与数值、Lean 严格数学验证能力。