mcp

provespec/mcp

★ 0 stars JavaScript Browser/Web Updated today

MCP server over the public ProveSpec catalog - pull a spec, build against it, grade what you built. No account, no database.

View on GitHub → 🔍 Audit Wallet Slippage →

Quick Install

Copy the config for your editor. Some servers may need additional setup — check the README.

Add to claude_desktop_config.json:

{
  "mcpServers": {
    "mcp": {
      "command": "npx",
      "args": [
        "-y",
        "provespec/mcp"
      ]
    }
  }
}

README Excerpt

MCP server over the public [ProveSpec](https://provespec.com) catalog — pull a specification, build against it, then grade what you built. No account, no database, no desktop app. Specs are fetched over HTTPS and grading is computed locally, so this process holds nothing and stores nothing. ```sh claude mcp add provespec -- npx -y provespec-mcp

Tools (8)

PROVESPEC_SITEcatalog_listspec_checklistspec_diffspec_getspec_gradespec_matchspec_search

mcp

Quick Install

README Excerpt

Tools (8)

Related Browser/Web Servers