agda-mcp
01MCP server Claude CodeCodexCursor +2
An MCP server for Agda's interaction protocol. Runs locally from the agda-mcp npm package.
not rated 0 27d ago A
tokens not measured
original MIT
0Stars on the repository
1Mods indexed here, across every type
27d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown