Which integrations are available for this server?

Allows AI coding agents like GitHub Copilot to semantically navigate, search, and refactor Ada code, providing features such as go-to-definition, find references, diagnostics, completions, and project-wide renaming.

How do I use Ada MCP Server?

1. Click on "Install Server". 2. Wait a few minutes for the server to deploy. Once ready, it will show a "Started" state. 3. In the chat, type @ followed by the MCP server name and your instructions, e.g., "@Ada MCP Server go to definition of 'Start' at line 23 in main.adb" That's it! The server will respond to your query, and you can continue using it as needed. Here is a step-by-step guide with screenshots.

Ada MCP Server

by MDBrothers

Overview Schema Related Servers Score Discussions

Python

Local

Ada MCP Server

Python 3.11+ License: MIT

An MCP (Model Context Protocol) server that wraps the Ada Language Server (ALS) to provide semantic Ada language features to AI coding agents like GitHub Copilot.

Why Ada MCP Server?

AI agents working with Ada code face significant limitations without semantic understanding:

Without This Tool	With Ada MCP Server
Text-based grep searches miss context	Semantic navigation to exact definitions
Must build to detect type errors	Real-time diagnostics without compilation
Can't jump to definitions or usages	Full code navigation (definitions, references, implementations)
No awareness of Ada's strong types	Type information via hover and completions

Related MCP server: MCP Tools

Features

🧭 Semantic Navigation: Go to definition, find references, type definitions, implementations
🔍 Symbol Search: Document and workspace symbol search with filtering
⚠️ Diagnostics: Real-time compiler errors and warnings
📁 Project Intelligence: GPR project parsing, call hierarchy, dependency graphs
✨ Code Intelligence: Context-aware completions, signature help
🔧 Refactoring: Safe symbol renaming, code formatting
🏗️ Build Integration: GPRbuild integration, Alire support
💪 Reliability: Auto-restart on crashes with exponential backoff
⚡ Performance: TTL-based caching for faster responses

Prerequisites

1. Ada Language Server (ALS)

Install via one of these methods:

# 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

Installation

# 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

Quick Start

VS Code / Copilot Configuration

Add to your VS Code settings.json:

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

Using uvx (Recommended for Isolation)

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

Direct Execution

# 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

Available Tools

Tool	Description
`ada_goto_definition`	Navigate to symbol definition
`ada_find_references`	Find all references to a symbol
`ada_type_definition`	Navigate to a symbol's type definition
`ada_implementation`	Navigate from spec to body
`ada_hover`	Get type info and documentation
`ada_get_spec`	Navigate from body to spec

Symbol Tools

Tool	Description
`ada_document_symbols`	List all symbols in a file (outline)
`ada_workspace_symbols`	Search symbols across workspace

Diagnostics & Build

Tool	Description
`ada_diagnostics`	Get compiler errors and warnings
`ada_build`	Build project with GPRbuild
`ada_alire_info`	Get Alire project information

Code Intelligence

Tool	Description
`ada_completions`	Get context-aware completions
`ada_signature_help`	Get function signature hints
`ada_code_actions`	Get available quick fixes

Project Tools

Tool	Description
`ada_project_info`	Get project structure info
`ada_call_hierarchy`	Get incoming/outgoing calls
`ada_dependency_graph`	Get package dependencies

Refactoring

Tool	Description
`ada_rename_symbol`	Rename symbol across project
`ada_format_file`	Format Ada source file

Tool Examples

ada_goto_definition

Navigate to where a symbol is defined.

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

Response:

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

ada_find_references

Find all usages of a symbol across the project.

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

Response:

{
  "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

Get type information and documentation for a symbol.

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

Response:

{
  "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}}
}

ada_diagnostics

Get compiler errors and warnings.

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

Response:

{
  "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

Get all symbols in a file (outline view).

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

Response:

{
  "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_completions

Get context-aware code completions.

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

Response:

{
  "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_symbol

Rename a symbol across the entire project.

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

Response:

{
  "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_build

Build the project with GPRbuild.

{
  "clean": false
}

Response:

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

ada_project_info

Get project structure information.

{}

Response:

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

ada_call_hierarchy

Get call relationships for a subprogram.

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

Response:

{
  "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 Agent Usage Guide

Recommended Workflow

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

Tool Selection Guidelines

AI Agent Task	Recommended Tools
"What type is this variable?"	`ada_hover`
"Where is this defined?"	`ada_goto_definition`
"Where is this used?"	`ada_find_references`
"Show me the structure of this file"	`ada_document_symbols`
"Find all symbols named X"	`ada_workspace_symbols`
"Are there any errors?"	`ada_diagnostics`
"Rename this safely"	`ada_rename_symbol`
"What can I type here?"	`ada_completions`
"Show the spec for this body"	`ada_get_spec`
"Show the body for this spec"	`ada_implementation`
"What calls this procedure?"	`ada_call_hierarchy`

Best Practices

Always check diagnostics after editing - Ada is strongly typed; verify your changes compile
Use hover before making assumptions - Get accurate type information
Use find_references before refactoring - Understand the full impact
Use document_symbols for orientation - Understand file structure before diving in
Prefer rename_symbol over find-replace - It handles all usages correctly

Configuration

Environment Variables

Variable	Default	Description
`ALS_PATH`	`ada_language_server`	Path to ALS executable
`ADA_PROJECT_FILE`	Auto-detect	GPR project file path
`ADA_PROJECT_ROOT`	Current directory	Project root directory
`ADA_MCP_LOG_LEVEL`	`INFO`	Logging verbosity (DEBUG, INFO, WARNING, ERROR)
`ADA_MCP_TIMEOUT`	`30`	Request timeout in seconds
`ADA_MCP_CACHE_TTL`	`5`	Cache time-to-live in seconds

Logging

Set ADA_MCP_LOG_LEVEL to adjust verbosity:

# Debug mode (verbose)
export ADA_MCP_LOG_LEVEL=DEBUG

# Production mode (errors only)
export ADA_MCP_LOG_LEVEL=ERROR

Architecture

┌─────────────────┐     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)    │
                                          └─────────────────┘

Reliability Features

Auto-restart: If ALS crashes, the server automatically restarts it with exponential backoff
Health monitoring: Background task monitors ALS process health
Response caching: TTL-based caching reduces redundant ALS queries

Development

# 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/

Project Structure

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

Testing

Unit Tests (CI)

Unit tests with mocked ALS run in GitHub Actions:

pytest tests/ -v

Integration Tests (Local Only)

Integration tests require the actual Ada Language Server:

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

# Run integration tests
python scripts/test_phase1_integration.py

Troubleshooting

ALS not found

Error: FileNotFoundError: ada_language_server

Solution: Set ALS_PATH to the full path of the ALS executable:

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

No GPR file found

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

Solution: Set ADA_PROJECT_FILE or ensure your project has a .gpr file:

export ADA_PROJECT_FILE=my_project.gpr

ALS crashes repeatedly

The server will attempt to restart ALS with exponential backoff (up to 5 attempts). Check:

ALS version compatibility (use ALS 24.x or newer)
GPR file validity
Available system memory

Slow responses

Try reducing cache TTL for fresher results:

export ADA_MCP_CACHE_TTL=2

Or increase it for better performance on stable codebases:

export ADA_MCP_CACHE_TTL=30

Debug logging

Enable debug logging for troubleshooting:

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

Contributing

Contributions are welcome! Please:

Fork the repository
Create a feature branch
Add tests for new functionality
Ensure all tests pass (pytest)
Submit a pull request

License

MIT License - see LICENSE for details.

Ada Language Server - The underlying LSP server
MCP Specification - Model Context Protocol documentation
Alire - Ada package manager

This server cannot be installed

license - permissive license

quality - not tested

maintenance

How are these scores calculated?

Maintenance

–Maintainers

–Response time

–Release cycle

1Releases (12mo)

Commit activity

Resources

GitHub Repository

Need Help?

Related Servers

Unclaimed servers have limited discoverability.

Looking for Admin?

If you are the server author, to access and configure the admin panel.

Latest Blog Posts

Your AI Chatbot Just Exposed Your CEO's Salary to an Intern
By Om-Shree-0709 on July 2, 2026.
Agent Identity
MCP Security
OAuth Delegation
Why MCP Servers Need Execution Sandboxing (And Why Your Current Stack Isn't Enough)
By Om-Shree-0709 on June 30, 2026.
Agentic Ai
Prompt Injection
WebAssembly
Lightport: Open-Sourcing Glama's AI Gateway
By punkpeye on April 27, 2026.
OpenAI
open source

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/MDBrothers/ada-mcp-server'

If you have feedback or need assistance with the MCP directory API, please join our Discord server

Ada MCP Server

Why Ada MCP Server?

Features

Prerequisites

1. Ada Language Server (ALS)

2. Python 3.11+

Installation

Quick Start

VS Code / Copilot Configuration

Using uvx (Recommended for Isolation)

Direct Execution

Available Tools

Navigation Tools

Symbol Tools

Diagnostics & Build

Code Intelligence

Project Tools

Refactoring

Tool Examples

ada_goto_definition

ada_find_references

ada_hover

ada_diagnostics

ada_document_symbols

ada_completions

ada_rename_symbol

ada_build

ada_project_info

ada_call_hierarchy

AI Agent Usage Guide

Recommended Workflow

Tool Selection Guidelines

Best Practices

Configuration

Environment Variables

Logging

Architecture

Reliability Features

Development

Project Structure

Testing

Unit Tests (CI)

Integration Tests (Local Only)

Troubleshooting

ALS not found

No GPR file found

ALS crashes repeatedly

Slow responses

Debug logging

Contributing

License

Related Projects

Maintenance

Resources

Looking for Admin?

Latest Blog Posts

MCP directory API