MCP server Claude CodeCodexCursor +2
MCP server "doneproof-mcp" as configured in efficjump/doneproof-mcp. Runs locally from the doneproof-mcp Python package.
0 28d ago A
tokens not measured
original MIT
Evidence-bound completion proofs for software changes through MCP
MCP server Claude CodeCodexCursor +2
MCP server "doneproof-mcp" as configured in efficjump/doneproof-mcp. Runs locally from the doneproof-mcp Python package.