InvariantHoldings/agda-mcp-server

MCP server for interactive Agda proof development (type-checking, goals, refinement, proof search) with pluggable extension modules.

1Stars on the repository

2Mods indexed here, across every type

yesterdayLast push, which is what freshness is scored on

customA LICENSE file GitHub cannot name, so bodies are not copied

Instructions file CodexOpenCode

AGENTS.md instructions for InvariantHoldings/agda-mcp-server, covering agents.md, purpose, architecture, testing and mcp harness.

not rated 1 yesterday A 1,796 tokens