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
0Stars on the repository
1Mods indexed here, across every type
2mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown