$ loading_
Provide Ada code navigation, diagnostics, and semantic intelligence for AI coding agents.
Copy the install command and let the AI configure it · recommended for beginners
No copy-paste install info for "Ada MCP Server" yet — see the docs or source repo.
Use the Ada MCP Server to analyze this Ada project, find the definition of the Initialize procedure, and list which files reference it.
Returns the file and location of the procedure definition, plus related references or call sites.
Use the Ada MCP Server to inspect diagnostics for this Ada code, identify syntax or type errors, and suggest fixes.
Outputs exact error locations, root causes, and actionable fix suggestions.
With the Ada MCP Server, summarize the main types, subprograms, and dependencies in this Ada package to help me understand its structure quickly.
Generates a clear explanation of package structure, key symbols, and dependencies for maintenance or refactoring.
Use Agda in MCP clients for checking, navigation, and proof assistance.
Automate Android devices via ADB for testing, control, and task execution.
Read, edit, and optionally compile Arduino sketches through an MCP bridge.
Help AI agents navigate, search, and understand codebases and change history.
Access multiple SQL databases with schema discovery, caching, and safety controls.
Connect to SAP ABAP systems to retrieve source code and table metadata.