MCP server for interactive Agda proof development (type-checking, goals, refinement, proof search) with pluggable extension modules.
Latest release v0.6.6 · 16 Apr 2026
1 file for Codex and OpenCode: agda-mcp-server AGENTS.md — 1,796 tokens loaded in every session.
AGENTS.md A 1,796 tok These files are InvariantHoldings/agda-mcp-server's own configuration — they tell Codex and OpenCode how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.