🔧

agda-mcp-server

🔧MCP Server

InvariantHoldings/agda-mcp-server

glama

Installation

Claude CodeAuto-generated from README. View full documentation on GitHub →

claude mcp add agda -e AGDA_MCP_ROOT=. -- node mcp/agda-mcp-server/dist/index.js

Server ConfigurationServer configuration (JSON)

{
  "mcpServers": {
    "agda": {
      "command": "node",
      "args": ["mcp/a...

Last UpdatedJun 16, 2026