$
askskill
.ai
全部
MCP
Skills
创作者
指南
EN
$
loading
_
← 返回
archerkattri
2
MCP
github ↗
// 全部资产
MCP 工具
io.github.Archerkattri/mathlas
为 AI 代理提供定理检索与数值、Lean 严格数学验证能力。
—
装
→
MCP 工具
mathlas
提供定理检索、常数识别与形式化校验，辅助严谨数学研究与验证
—
装
→
