MCP server Claude CodeCodexCursor +2
MCP server "mcp-proofjson" as configured in proofjson/mcp-proofjson. Launched with mcp-proofjson.
not rated 0 4mo ago A
tokens not measured
original MIT
MCP server Claude CodeCodexCursor +2
MCP server "mcp-proofjson" as configured in proofjson/mcp-proofjson. Launched with mcp-proofjson.