MCP server Claude CodeCodexCursor +2
MCP server "z3-solver-mcp-server" as configured in dsouflis/z3-solver-mcp-server. Runs locally from the z3-solver-mcp-server Python package.
3 1y ago A
tokens not measured
MCP server Claude CodeCodexCursor +2
MCP server "z3-solver-mcp-server" as configured in dsouflis/z3-solver-mcp-server. Runs locally from the z3-solver-mcp-server Python package.