archerkattri

archerkattri

2 MCP★ 4github ↗

// 全部资产

mathlas

提供定理检索、常数识别与形式化校验，辅助严谨数学研究与验证

io.github.Archerkattri/mathlas

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