SpecProof

SpecProof: Search standards specs with MCP-ready precision.

What does this entry provide?

SpecProof is an MCP server entry in ChatHome Skills, sourced from Official MCP Registry and scored 64/100. As a Model Context Protocol server, it exposes tools that MCP-compatible LLM clients such as Claude, Cursor, and Copilot can call directly, extending an agent's reach beyond its built-in capabilities. ChatHome Skills discovered this entry through its daily ingest of official registries and GitHub discovery queries, and re-verifies repository facts, freshness signals, and install metadata on every run. The quality score weighs official-registry presence, a working install command, license clarity, GitHub star trajectory, and repository freshness — the full formula is on the Sources page. The install command above is ready to copy. Review the last-pushed date and repository status before adding SpecProof to a production agent workflow; the snapshot facts below are point-in-time values from the most recent ingest.

Snapshot facts

Source: Official MCP Registry
Quality: 64/100
Install method: streamable-http
Repo: ibouazizi/specproof
Repo updated: Feb 1, 2026

Install command

mcp add ai.specproof/specproof-mcp https://mcp.specproof.ai/

Install method: streamable-http

Review the upstream source before running this command.

GitHub project Homepage

Quality

Repo stars

Repo updated

Feb 1, 2026

How is this score calculated?

Weighted across six dimensions, scored 0-100.
Provenance (25): listed in an official or curated registry.
Installability (25): a runnable install command beats a declared transport, which beats a source checkout.
Maintenance (20): recency of the last push; archived entries score zero here.
Adoption (20): repository stars on a log curve.
Documentation (10) and description quality (10): parsed manifest or SKILL.md frontmatter, and a real description rather than a placeholder.

MCP manifest

{
  "_meta": {
    "io.modelcontextprotocol.registry/official": {
      "status": "active",
      "isLatest": true,
      "updatedAt": "2026-02-01T20:43:12.895842Z",
      "publishedAt": "2026-02-01T20:43:12.895842Z",
      "statusChangedAt": "2026-02-01T20:43:12.895842Z"
    }
  },
  "server": {
    "name": "ai.specproof/specproof-mcp",
    "_meta": {
      "io.modelcontextprotocol.registry/publisher-provided": {
        "auth": {
          "via": "portal-api",
          "type": "api-key",
          "header": "x-api-key or Authorization: Bearer"
        },
        "tool": "manual",
        "notes": "Hosted MCP server for 3GPP/IETF spec search; vector search via FAISS when available.",
        "service": "specproof.ai",
        "version": "1.0.0",
        "mcp_endpoint": "https://mcp.specproof.ai/"
      }
    },
    "icons": [
      {
        "src": "https://specproof.ai/icons/specproof-icon-16.png",
        "sizes": [
          "16x16"
        ],
        "mimeType": "image/png"
      },
      {
        "src": "https://specproof.ai/icons/specproof-icon-32.png",
        "sizes": [
          "32x32"
        ],
        "mimeType": "image/png"
      },
      {
        "src": "https://specproof.ai/icons/specproof-icon-48.png",
        "sizes": [
          "48x48"
        ],
        "mimeType": "image/png"
      },
      {
        "src": "https://specproof.ai/icons/specproof-icon-64.png",
        "sizes": [
          "64x64"
        ],
        "mimeType": "image/png"
      },
      {
        "src": "https://specproof.ai/icons/specproof-icon-128.png",
        "sizes": [
          "128x128"
        ],
        "mimeType": "image/png"
      },
      {
        "src": "https://specproof.ai/icons/specproof-icon-180.png",
        "sizes": [
          "180x180"
        ],
        "mimeType": "image/png"
      },
      {
        "src": "https://specproof.ai/icons/specproof-icon-192.png",
        "sizes": [
          "192x192"
        ],
        "mimeType": "image/png"
      },
      {
        "src": "https://specproof.ai/icons/specproof-icon-256.png",
        "sizes": [
          "256x256"
        ],
        "mimeType": "image/png"
      },
      {
        "src": "https://specproof.ai/icons/specproof-icon-384.png",
        "sizes": [
          "384x384"
        ],
        "mimeType": "image/png"
      },
      {
        "src": "https://specproof.ai/icons/specproof-icon-512.png",
        "sizes": [
          "512x512"
        ],
        "mimeType": "image/png"
      },
      {
        "src": "https://specproof.ai/icons/specproof-icon-1024.png",
        "sizes": [
          "1024x1024"
        ],
        "mimeType": "image/png"
      }
    ],
    "title": "SpecProof",
    "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
    "remotes": [
      {
        "url": "https://mcp.specproof.ai/",
        "type": "streamable-http"
      }
    ],
    "version": "1.0.0",
    "repository": {
      "id": "1147457273",
      "url": "https://github.com/ibouazizi/specproof.git",
      "source": "github"
    },
    "websiteUrl": "https://specproof.ai",
    "description": "SpecProof: Search standards specs with MCP-ready precision."
  }
}

Report an issue with this listing