agentmods.dev

InvariantHoldings/agda-mcp-server

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

Open on GitHub
1Stars on the repository
2Mods indexed here, across every type
2d agoLast push, which is what freshness is scored on
customA LICENSE file GitHub cannot name, so bodies are not copied
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 1 mods

agda-mcp-server

01

InvariantHoldings/agda-mcp-server

MCP server Claude CodeCodexCursor +2

MCP server for interactive Agda proof development — type-checking, goal inspection, case splitting, proof search, and more via the Model Context Protocol. Runs locally from the agda-mcp-server npm package.

not rated 1 2d ago A tokens not measured