agda-mcp
01MCP server Claude CodeCodexCursor +2
MCP server "agda-mcp" as configured in DreamLinuxer/agda-mcp. Runs locally from the agda-mcp Python package.
not rated 3 7mo ago A
tokens not measured
MCP server Claude CodeCodexCursor +2
MCP server "agda-mcp" as configured in DreamLinuxer/agda-mcp. Runs locally from the agda-mcp Python package.