$ loading_
为 AI 代理提供定理检索与数值、Lean 严格数学验证能力。
复制安装指令，让 AI 自动完成配置 · 推荐新手
请帮我安装 askskill 上的 "io.github.Archerkattri/mathlas" MCP 服务： 执行：claude mcp add 'io-github-archerkattri-mathlas' -- uvx mathlas-mcp
用于校验智能体输出、发现规律并进行确定性数学求解
可通过 MCP 编译并校验 Lean 4 数学证明与定理。
让 AI 代理检索、阅读并维护自托管 Markdown 团队知识库。
让 AI 代理调用 MATLAB 能力，完成工程计算、科学分析与自动化工作流。
用多代理验证与反思流程，检查AI输出质量、发现问题并辅助改进。
为 AI 代理提供可追溯、双时态的长期记忆存储与查询能力