Live preview, formatting shortcuts, and a clean round-trip to disk.
# give your agent the catalog — no account, no install claude mcp add provespec -- npx -y provespec-mcp # then, from any agent session spec_get(slug: "markdown-editor") → the capability tree spec_checklist(slug: "markdown-editor") → the questions to answer spec_grade(slug: "markdown-editor", grades: [...]) → parity % + the gap list # or just fetch it curl https://provespec.com/catalog/markdown-editor/spec.json
Grade every capability below as yes · partial · no · na, with a file reference as evidence. Whatever you leave ungraded counts as missing — the gap list is the work queue.
Use the ProveSpec MCP server. Fetch the "markdown-editor" spec with spec_get, then walk spec_checklist and grade this repository against it — one verdict per capability, each with a file reference as the note. Call spec_grade with the results and give me the gap list as the plan. If the server is not registered, add it first: claude mcp add provespec -- npx -y provespec-mcp