5 tagged egraph, measured the same way as everything else here.
Browse within: algebraic-effects 5compiler 5formal-verification 5non-associative-algebra 5octonions 5
MCP server Claude CodeCodexCursor +2
MCP server "sounio" as configured in Sounio-lang/sounio. Runs sounio_mcp.server with /workspace/sounio/.venv/bin/python3. Needs 1 environment variable to run.
MCP server Claude CodeCodexCursor +2
MCP server "sounio-coord" as configured in Sounio-lang/sounio. Runs /workspace/sounio/scripts/mcp/sounio_coord_mcp.py with /workspace/sounio/.venv/bin/python3. Needs 1 environment variable to run.
MCP server Claude CodeCodexCursor +2
Gives the agent up-to-date documentation and code examples for libraries and frameworks, fetched on demand so answers are not stuck at the model's training cutoff. Runs locally from the @upstash/context7-mcp npm package. Needs 1 environment variable to run.