MCP 服务器
mathlas
io.github.Archerkattri/mathlas
此 MCP 可以做什么
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
功能
工具
0
工具
工具元数据未公开。
MCP Radar 尚未从此服务器获取到任何工具。