$ loading_
连接 Atelier B 与 AI，辅助 B 项目进行类型检查、证明与代码生成
复制安装指令，让 AI 自动完成配置 · 推荐新手
"Atelier B MCP Server" 暂无可直接复制的安装信息，请查看页面文档或源码仓库。
请连接 Atelier B 项目，检查这个 B 机器的类型错误与语法问题，并列出每个问题的位置、原因和修复建议。
返回类型检查结果，并给出清晰的错误定位与修改建议。
针对当前 B 项目生成证明义务，先尝试自动证明，再汇总未证明项，并解释可能的失败原因。
输出证明义务状态、自动证明结果，以及未证明项的分析摘要。
为这个已通过主要证明的 B 项目生成 C 代码，并说明生成模块结构、依赖关系和后续集成注意事项。
返回可生成的 C 代码结果说明，并附带结构与集成建议。
连接 ATLAS 图谱任务系统，分层管理项目、任务与知识并支持深度研究。
让 AI 通过 MCP 控制运行中的 Emacs，进行文件编辑与状态检查。
通过串口发送 AT 指令并结合芯片知识库，辅助调试 IoT 模块问题
让 AI 控制并问答 Altium 项目，加速电子设计与排错流程
将代码库转为可检索知识图谱，支持智能分析、安全扫描与语义记忆。
用自然语言连接 Jira、Confluence 与 Bitbucket，统一处理项目协作与内容管理