MCP server Claude CodeCodexCursor +2
MCP server over the public ProveSpec catalog — pull a specification, build against it, grade what you built, and author the result. Runs locally from the provespec-mcp npm package.
0 29d ago A
tokens not measured
original MIT