$ loading_
为 AI 代理提供定理检索与数值、Lean 严格数学验证能力。
复制安装指令，让 AI 自动完成配置 · 推荐新手
请帮我安装 askskill 上的 "io.github.Archerkattri/mathlas" MCP 服务： 执行：claude mcp add 'io-github-archerkattri-mathlas' -- uvx mathlas-mcp
用于校验智能体输出、发现规律并进行确定性数学求解
让 AI 代理检索、阅读并维护自托管 Markdown 团队知识库。
用多代理验证与反思流程，检查AI输出质量、发现问题并辅助改进。
帮助 AI 代理查询架构模型、获取目标模式并检查文件合规性
帮助 LLM 代理归档大工具输出并按需召回，节省上下文 tokens
帮助AI编程代理在长任务中遵循架构、校验证据并控制偏移与风险。