MCP server Claude CodeCodexCursor +2
MCP server "proofdrop-mcp" as configured in mezotv/proofdrop. Runs locally from the proofdrop-mcp npm package.
3 2mo ago A
tokens not measured
original MIT
3Stars on the repository
7Mods indexed here, across every type
2mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown