agda-mcp

Source

MCP server for interactive Agda type-checking and proof development. Mutating or Non-Mutating.

⭐ 0Development ToolsTypeScriptRepo ↗Updated 2026-08-07Indexed 2026-10-11

Installation

View source repo →

Related servers

n8n⭐ 207k · Development Tools gemini-cli⭐ 107.3k · Development Tools awesome-mcp-servers⭐ 96.1k · Development Tools headroom⭐ 75.1k · Development Tools reactive-resume⭐ 44.1k · Development Tools serena⭐ 30.2k · Development Tools