Ada MCP Server

Ada MCP服务器

  

MCP（模型上下文协议）服务器，封装Ada语言服务器（ALS），为GitHub Copilot等AI编码代理提供语义Ada语言功能。

为什么选择Ada MCP服务器？

使用Ada代码的AI代理在没有语义理解的情况下面临着巨大的局限性：

特性

• 🧭 语义导航：转到定义，查找引用、类型定义、实现
• 🔍 符号搜索：使用过滤进行文档和工作区符号搜索
• ⚠️ 诊断：实时编译器错误和警告
• 📁 项目智能：GPR项目解析、调用层次结构、依赖关系图
• ✨ 代码智能：上下文感知补全、签名帮助
• 🔧 重构：安全的符号重命名、代码格式化
• 🏗️ 构建集成：GPRbuild集成，Alire支持
• 💪 可靠性：在发生指数级回退的崩溃时自动重启
• ⚡ 演出：基于TTL的缓存可实现更快的响应

先决条件

1.Ada语言服务器（ALS）

通过以下方法之一进行安装：

# Option 1: Alire (recommended)
alr get ada_language_server
cd ada_language_server*
alr build --release
# Binary will be at ./bin/ada_language_server

# Option 2: Pre-built from GitHub releases
# https://github.com/AdaCore/ada_language_server/releases

# Option 3: VS Code Ada extension (usually already installed)
# Found at: ~/.vscode/extensions/adacore.ada-*/x64/linux/ada_language_server

2.Python 3.11+

python --version  # Should be 3.11 or higher

安装

# From PyPI
pip install ada-mcp-server

# From source
git clone https://github.com/ada-mcp/ada-mcp-server
cd ada-mcp-server
pip install -e .

# With uvx (isolated environment)
uvx ada-mcp-server

快速开始

VS代码/副驾驶配置

添加到您的VS代码 settings.json:

{
  "mcpServers": {
    "ada": {
      "command": "ada-mcp",
      "env": {
        "ALS_PATH": "/path/to/ada_language_server",
        "ADA_PROJECT_ROOT": "/path/to/your/ada/project"
      }
    }
  }
}

使用uvx（建议隔离）

{
  "mcpServers": {
    "ada": {
      "command": "uvx",
      "args": ["ada-mcp-server"],
      "env": {
        "ALS_PATH": "ada_language_server",
        "ADA_PROJECT_FILE": "project.gpr"
      }
    }
  }
}

直接执行

# Set environment
export ALS_PATH=/path/to/ada_language_server
export ADA_PROJECT_ROOT=/path/to/project

# Run the server
ada-mcp

# Or via Python module
python -m ada_mcp

______________________________________________________________________

可用工具

导航工具

符号工具

诊断与构建

代码智能

项目工具

重构

______________________________________________________________________

工具示例

ada_goto_definition

导航到定义符号的位置。

{
  "file": "/project/src/main.adb",
  "line": 10,
  "column": 12
}

答复：

{
  "found": true,
  "file": "/project/src/utils.ads",
  "line": 25,
  "column": 4,
  "preview": "procedure Process_Data (Input : String);"
}

ada_find_references

查找项目中符号的所有用法。

{
  "file": "/project/src/utils.ads",
  "line": 25,
  "column": 12,
  "include_declaration": true
}

答复：

{
  "symbol": "Process_Data",
  "references": [
    {"file": "/project/src/utils.ads", "line": 25, "column": 12, "isDefinition": true},
    {"file": "/project/src/main.adb", "line": 10, "column": 4, "isDefinition": false},
    {"file": "/project/src/tests.adb", "line": 8, "column": 8, "isDefinition": false}
  ],
  "totalCount": 3
}

ada_hover

获取符号的类型信息和文档。

{
  "file": "/project/src/main.adb",
  "line": 15,
  "column": 8
}

答复：

{
  "found": true,
  "contents": "function Calculate_Sum (A, B : Integer) return Integer",
  "documentation": "Calculate the sum of two integers.",
  "range": {"start": {"line": 15, "column": 4}, "end": {"line": 15, "column": 17}}
}

阿达迪诊断学

获取编译器错误和警告。

{
  "file": "/project/src/main.adb",
  "severity": "error"
}

答复：

{
  "diagnostics": [
    {
      "file": "/project/src/main.adb",
      "line": 12,
      "column": 10,
      "severity": "error",
      "message": "expected type \"Integer\", found type \"String\""
    }
  ],
  "errorCount": 1,
  "warningCount": 0,
  "hintCount": 0
}

ada_document_symbols

获取文件中的所有符号（轮廓视图）。

{
  "file": "/project/src/utils.ads"
}

答复：

{
  "file": "/project/src/utils.ads",
  "symbols": [
    {
      "name": "Utils",
      "kind": "package",
      "line": 1,
      "children": [
        {"name": "Process_Data", "kind": "procedure", "line": 10, "children": []},
        {"name": "Calculate_Sum", "kind": "function", "line": 15, "children": []}
      ]
    }
  ]
}

ada_完成

获取上下文感知的代码补全。

{
  "file": "/project/src/main.adb",
  "line": 20,
  "column": 10,
  "trigger": "."
}

答复：

{
  "completions": [
    {
      "label": "Process_Data",
      "kind": "procedure",
      "detail": "procedure (Input : String)",
      "insertText": "Process_Data"
    },
    {
      "label": "Calculate_Sum",
      "kind": "function",
      "detail": "function (A, B : Integer) return Integer",
      "insertText": "Calculate_Sum"
    }
  ],
  "isIncomplete": false
}

ada_rename_符号

在整个项目中重命名符号。

{
  "file": "/project/src/utils.ads",
  "line": 10,
  "column": 12,
  "new_name": "Handle_Data",
  "preview": true
}

答复：

{
  "oldName": "Process_Data",
  "newName": "Handle_Data",
  "changes": [
    {"file": "/project/src/utils.ads", "line": 10, "oldText": "Process_Data", "newText": "Handle_Data"},
    {"file": "/project/src/utils.adb", "line": 25, "oldText": "Process_Data", "newText": "Handle_Data"},
    {"file": "/project/src/main.adb", "line": 12, "oldText": "Process_Data", "newText": "Handle_Data"}
  ],
  "totalChanges": 3,
  "applied": false
}

ada_建筑

使用GPRbuild构建项目。

{
  "clean": false
}

答复：

{
  "success": true,
  "exitCode": 0,
  "errors": [],
  "warnings": [],
  "buildTime": 2.5
}

ada_项目信息

获取项目结构信息。

{}

答复：

{
  "projectFile": "/project/project.gpr",
  "projectName": "My_Project",
  "sourceDirs": ["/project/src"],
  "objectDir": "/project/obj",
  "execDir": "/project/bin",
  "mainUnits": ["main.adb"]
}

ada_call_层次结构

获取子程序的调用关系。

{
  "file": "/project/src/utils.adb",
  "line": 25,
  "column": 12,
  "direction": "both"
}

答复：

{
  "symbol": "Process_Data",
  "kind": "procedure",
  "incoming": [
    {"name": "Main", "file": "/project/src/main.adb", "line": 12}
  ],
  "outgoing": [
    {"name": "Validate_Input", "file": "/project/src/validators.ads", "line": 8}
  ]
}

______________________________________________________________________

AI代理使用指南

推荐工作流程

1. UNDERSTAND CONTEXT
   └─→ ada_document_symbols - Get file structure
   └─→ ada_project_info - Understand project layout
   └─→ ada_diagnostics - Check current errors

2. NAVIGATE CODE
   └─→ ada_goto_definition - Find where symbol is defined
   └─→ ada_find_references - Find all usages
   └─→ ada_type_definition - Find type declaration
   └─→ ada_implementation - Find body/implementation

3. UNDERSTAND SYMBOLS
   └─→ ada_hover - Get type info and documentation
   └─→ ada_signature_help - Get subprogram signatures
   └─→ ada_call_hierarchy - See who calls what

4. MAKE CHANGES
   └─→ ada_completions - Get context-aware suggestions
   └─→ ada_rename_symbol - Safely rename across project
   └─→ ada_format_file - Format code consistently

5. VERIFY CHANGES
   └─→ ada_diagnostics - Confirm no new errors
   └─→ ada_build - Full compilation check

工具选择指南

最佳实践

1. 编辑后务必检查诊断 -Ada的类型很强；验证您的更改是否已编译
2. 在做出假设之前使用鼠标悬停 -获取准确的类型信息
3. 在重构之前使用find_references -了解全部影响
4. 使用document_symbols作为方向 -在开始之前了解文件结构
5. 更喜欢重命名_符号而不是查找替换 -它正确处理所有用法

______________________________________________________________________

配置

环境变量

日志记录

集 ADA_MCP_LOG_LEVEL 调整措辞：

# Debug mode (verbose)
export ADA_MCP_LOG_LEVEL=DEBUG

# Production mode (errors only)
export ADA_MCP_LOG_LEVEL=ERROR

______________________________________________________________________

建筑

┌─────────────────┐     MCP/JSON-RPC      ┌─────────────────┐
│   AI Agent      │ ◄──────────────────► │  Ada MCP Server │
│ (Copilot, etc.) │     (NDJSON/stdio)    │    (Python)     │
└─────────────────┘                       └────────┬────────┘
                                                   │
                                                   │ LSP/JSON-RPC
                                                   │ (stdio)
                                                   ▼
                                          ┌─────────────────┐
                                          │ Ada Language    │
                                          │ Server (ALS)    │
                                          └────────┬────────┘
                                                   │
                                                   ▼
                                          ┌─────────────────┐
                                          │ Ada Project     │
                                          │ (.gpr, .ads,    │
                                          │  .adb files)    │
                                          └─────────────────┘

可靠性特征

• 自动重启：如果ALS崩溃，服务器会自动以指数回退方式重新启动它
• 健康监测：后台任务监控ALS过程健康状况
• 响应缓存：基于TTL的缓存减少了冗余的ALS查询

______________________________________________________________________

发展

# Clone repository
git clone https://github.com/ada-mcp/ada-mcp-server
cd ada-mcp-server

# Create virtual environment
python -m venv .venv
source .venv/bin/activate

# Install dev dependencies
pip install -e ".[dev]"

# Run tests
pytest

# Run linter
ruff check src/

# Format code
ruff format src/

# Type checking
mypy src/

项目结构

ada-mcp-server/
├── src/ada_mcp/
│   ├── __main__.py      # Entry point
│   ├── server.py        # MCP server setup
│   ├── als/             # ALS communication
│   │   ├── client.py    # LSP client
│   │   ├── process.py   # ALS lifecycle & health monitoring
│   │   └── types.py     # LSP type definitions
│   ├── tools/           # MCP tool implementations
│   │   ├── navigation.py
│   │   ├── symbols.py
│   │   ├── diagnostics.py
│   │   ├── project.py
│   │   ├── refactoring.py
│   │   └── build.py
│   └── utils/           # Utilities
│       ├── cache.py     # Response caching
│       ├── position.py  # Line/column conversions
│       └── uri.py       # File URI handling
├── tests/               # Unit tests
└── scripts/             # Integration test scripts

测试

单元测试（CI）

模拟ALS的单元测试在GitHub Actions中运行：

pytest tests/ -v

集成测试（仅限本地）

集成测试需要实际的Ada语言服务器：

# Set ALS path
export ALS_PATH=/path/to/ada_language_server

# Run integration tests
python scripts/test_phase1_integration.py

______________________________________________________________________

故障排除

未找到ALS

Error: FileNotFoundError: ada_language_server

解决方案：设置 ALS_PATH 到ALS可执行文件的完整路径：

export ALS_PATH=/home/user/.local/bin/ada_language_server

未找到GPR文件

Warning: No GPR project file found. Disabling ALS indexing...

解决方案：设置 ADA_PROJECT_FILE 或者确保你的项目有 .gpr 文件：

export ADA_PROJECT_FILE=my_project.gpr

ALS反复崩溃

服务器将尝试以指数回退方式重新启动ALS（最多5次尝试）。检查：

1. ALS版本兼容性（使用ALS 24.x或更新版本）
2. GPR文件有效性
3. 可用系统内存

反应缓慢

尝试减少缓存TTL以获得更新鲜的结果：

export ADA_MCP_CACHE_TTL=2

或者增加它以在稳定的代码库上获得更好的性能：

export ADA_MCP_CACHE_TTL=30

调试记录

启用调试日志以进行故障排除：

export ADA_MCP_LOG_LEVEL=DEBUG
ada-mcp 2>&1 | tee mcp-debug.log

______________________________________________________________________

贡献

欢迎投稿！拜托：

1. 分叉存储库
2. 创建要素分支
3. 添加新功能的测试
4. 确保所有测试通过(pytest)
5. 提交拉取请求

许可证

MIT许可证-请参阅 许可证 了解详情。

相关项目

• Ada语言服务器 -底层LSP服务器
• MCP规范 -模型上下文协议文档
• Alire -Ada包管理器