$ loading_
为 AI 编码代理提供 Ada 代码导航、诊断与智能补全等语言能力。
复制安装指令，让 AI 自动完成配置 · 推荐新手
"Ada MCP Server" 暂无可直接复制的安装信息，请查看页面文档或源码仓库。
使用 Ada MCP Server 分析这个 Ada 项目，找到包规范中过程 Initialize 的定义与所有引用，并说明它所在文件和行号。
返回 Initialize 的定义位置、引用列表，以及相关文件与行号说明。
通过 Ada MCP Server 检查当前 Ada 源码的语义与语法问题，列出所有诊断信息，并按严重程度给出修复建议。
输出错误、警告等诊断结果，并附带可执行的修复建议。
借助 Ada MCP Server 阅读这个 Ada 模块，概括其主要类型、子程序和依赖关系，并指出关键入口函数。
给出模块结构摘要，包括类型、函数过程、依赖关系和入口说明。
通过 MCP 交互式开发 Agda 证明，支持加载文件、查看目标与执行证明操作。