MCP server Claude CodeCodexCursor +2
MCP server "proofmarket-mcp" as configured in Zhekinmaksim/proofmarket-mcp. Runs locally from the proofmarket-mcp npm package.
not rated 0 2mo ago A
tokens not measured
original MIT
MCP server Claude CodeCodexCursor +2
MCP server "proofmarket-mcp" as configured in Zhekinmaksim/proofmarket-mcp. Runs locally from the proofmarket-mcp npm package.