A
licenseNot graded
qualityC
maintenanceAn MCP server that provides semantic Ada language features like navigation, diagnostics, and code intelligence to AI coding agents by wrapping the Ada Language Server.
1
MIT
77,159 servers. Updated
Search Relevance ↓
Recent Usage ↓
Date Added ↓
Date Updated ↓
Weekly Downloads ↓
GitHub Stars ↓
Recent GitHub Stars ↓
Matching MCP tools:
Matching MCP Connectors:
io.github.mcp-dir
io.github.cyanheads
io.github.pipeworx-io
news.asha
"ASDA" matching MCP servers:
- AlicenseNot gradedqualityAmaintenanceA stateful Model Context Protocol server for interactive Agda proof development, enabling persistent sessions with goal-aware proof actions.301MIT
- AlicenseAqualityAmaintenanceProvides an MCP interface for Agda's JSON interaction protocol, enabling type checking and interactive editing of Agda modules with support for workspace management and non-blocking operations.18289MIT
- FlicenseBqualityDmaintenanceMCP server for Agda, providing type checking, go-to-definition, case splitting, auto proof search, and more directly from Claude Code or any MCP client.302
- FlicenseDqualityCmaintenanceEnables AI agents to perform security audits on pull request diffs by detecting secrets, dangerous code patterns, and new dependencies, outputting structured JSON for generating PR review comments.1
- FlicenseNot gradedqualityDmaintenanceEnables semantic code search across multi-language codebases using natural language queries, integrated with Qdrant vector database for fast, cached retrieval.1
