$ loading_
连接 Atelier B 与 AI，辅助 B 项目进行类型检查、证明与代码生成
复制安装指令，让 AI 自动完成配置 · 推荐新手
"Atelier B MCP Server" 暂无可直接复制的安装信息，请查看页面文档或源码仓库。
请连接 Atelier B 项目，检查这个 B 机器的类型错误与语法问题，并列出每个问题的位置、原因和修复建议。
返回类型检查结果，并给出清晰的错误定位与修改建议。
针对当前 B 项目生成证明义务，先尝试自动证明，再汇总未证明项，并解释可能的失败原因。
输出证明义务状态、自动证明结果，以及未证明项的分析摘要。
为这个已通过主要证明的 B 项目生成 C 代码，并说明生成模块结构、依赖关系和后续集成注意事项。
返回可生成的 C 代码结果说明，并附带结构与集成建议。
把口述需求转成合规平面图和家具3D模型，并支持实时协作编辑
将 AI 变成具备记忆、追踪与多维分析能力的职业与人生顾问系统。
帮助团队按欧盟AI法案进行风险分类并生成合规评估文档。
让 AI 通过 MCP 控制运行中的 Emacs，进行文件编辑与状态检查。
通过串口发送 AT 指令并结合芯片知识库，辅助调试 IoT 模块问题
让 AI 控制并问答 Altium 项目，加速电子设计与排错流程