{"servers":[{"server":{"$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"}}},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-02-01T20:43:12.895842Z","publishedAt":"2026-02-01T20:43:12.895842Z","updatedAt":"2026-02-01T20:43:12.895842Z","isLatest":true}}}],"metadata":{"count":1}}