SpecProof

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