DreamLinuxer

1 mods across 1 repository, 2 stars between them.

MCP server Claude CodeCodexCursor

MCP server "agda-mcp" as configured in DreamLinuxer/agda-mcp. Runs locally from the agda-mcp Python package.

2 5mo ago A tokens not measured