Archerkattri/mathlas

（英文原文）Math tools for agents: theorem search, PSLQ constant identification, OEIS lookup, Lean kernel checks and applicability checklists.

查看项目与安装说明

分类: 数据科学工具.

用途说明来自 awesome-mcp-servers 清单；Frontier Now 尚未测试或审查该服务器。