🔧

agda-mcp-server

🔧MCP Server

InvariantHoldings/agda-mcp-server

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)

json

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

glama

Last UpdatedJun 30, 2026