Agda

Verified Integration

Author: @official•Category: ServerApplication

GitHub Repository

JSON-RPC 2.0

Protocol Standard

Sub-second

Execution Latency

Active

Operational Status

Client Configuration

— Connect Agda to Claude Desktop or Cursor in seconds

{
  "mcpServers": {
    "agda": {
      "command": "npx",
      "args": [
        "-y",
        "@modelcontextprotocol/server-agda"
      ],
      "env": {}
    }
  }
}

Paste into ~/Library/Application Support/Claude/claude_desktop_config.json (macOS) or %APPDATA%\Claude\claude_desktop_config.json (Windows).

Architecture & Capabilities

System Overview

Integrates Agda's interactive features into MCP clients for type checking, definition lookup, and proof assistance.

Indexed Date

7/21/2026

License

Open Source

Protocol Layer

stdio / SSE RPC

Frequently Asked Questions

Architecture and operational details for Agda

agda-mcp is an MCP (Message Communication Protocol) server that brings Agda's full suite of interactive features, such as type checking, go-to-definition, and automated proof assistance, directly into any compatible MCP client like Claude Code.

Related MCP Servers

Browse all servers →

@configuring

0xArchive

Provides comprehensive historical and real-time crypto market data, including orderbooks, trades, candles, and more, from Hyperliquid, HIP-3, and Lighter.xyz.

MCP Server5 FAQs

Learn more

@spawning

0xGasless

Facilitates gasless blockchain transactions and interactions directly from Claude AI conversations.

MCP Server4 FAQs

Learn more

@spawning

0xGasless

Bridges Claude AI with blockchain networks, enabling gasless transactions, swaps, and transfers directly from natural language conversations.

MCP Server5 FAQs

Learn more