SpecProof
SpecProof: Search standards specs with MCP-ready precision.
Servidor MCP · de specproof.ai
Resumen
SpecProof es un servidor MCP publicado por specproof.ai. Marketplaces que leemos y que lo publican: 1 (Official MCP Registry). Lo vimos por primera vez el 2026-10-11 y desde entonces no hemos registrado cambios. Según nuestra pasada por los marketplaces del 2026-10-12.
Qué pide
- Se ejecuta en remoto
Ninguno de los marketplaces que leemos publica sus herramientas ni los ajustes que pide.
Lo que declara, pide y ejecuta, completo
Instale solo plugins de desarrolladores en los que confíe. Mostramos lo que publican los marketplaces y no probamos plugins.
Funciona con
- Claude Code
- Codex
- Cursor
- VS Code
- Copilot CLI
Un enlace de un clic abre el cliente, que pide confirmación antes de añadir el servidor.
Según los marketplaces que lo listan y el transporte MCP que declara, tal como lo documenta cada cliente. No probamos plugins.
Conectar
Comandos y configuraciones generados solo a partir de lo que declaran sus marketplaces. No los ejecutamos por usted ni probamos plugins.
Como servidor MCP remoto
Generado a partir de lo que declara Official MCP Registry.
claude mcp add --transport http specproof-mcp https://mcp.specproof.ai/[mcp_servers.specproof-mcp]
url = "https://mcp.specproof.ai/"{
"mcpServers": {
"specproof-mcp": {
"url": "https://mcp.specproof.ai/"
}
}
}Dónde está publicado
| Marketplace | Estado | Versión | Cifras | Verificado | Visto por primera vez |
|---|---|---|---|---|---|
| Official MCP Registry (Abrir el registro) | Publicado | 1.0.0 | Sin cifra publicada | Sin marca |
Cada cifra es del propio marketplace y nunca se suma entre marketplaces. Un marketplace que no publica cifras no muestra ninguna: sin número no es cero.
Qué cambió
Nada ha cambiado en este plugin desde que lo seguimos.
Plugins similares
Productos cuyos propios nombres, descripciones, herramientas y skills son los más cercanos a este por su significado, en todos los marketplaces que leemos. La cercanía se ordena solo dentro de esta lista.
-
Product and service specs with per-field confidence, plus dated price offers.
-
docs com.ntop/docs
Search and query nTop's knowledge base and engineering guides from AI applications.
-
deep-research-mcp-server io.github.Perufitlife/deep-research-mcp-server
Web search, clean page reading & one-call research dossiers for AI agents. No API key.
-
The Official Model Context Protocol (MCP) server for Kagi Search & other tools.
-
Your AI research assistant that cites real sources and stays honest
-
Search and explore source-backed SEO, SaaS, and LLM-wiki knowledge from the XKnow knowledge base.
-
Grounded, citable answers to tech questions from O'Reilly's library. Requires Expert MCP access.
-
ComplianceAutomator Public MCP
Public read-only MCP for products, frameworks, guides, methodology, and blog metadata.
-
Local MCP server for isolated, evidence-backed GDWEB design analysis and web search.
-
Brian Booms x402 product catalog as agent tools. Read-only.
Plugins similares por marketplace
La misma pregunta a cada marketplace por separado: ¿hay allí un equivalente de este plugin?
Publicado en Claude Code: claude-plugins-community (5)
-
Connect AI assistants to Outline for document search, reading, and management
-
Search, scrape, and crawl the web for AI agents. Batch scraping and answers with citations.
-
SCOPE - Security, Compliance & Operational Policy Evaluation - A Claude plugin that runs deterministic pre-flight compliance evaluation on agentic workflows. Maps every MCP tool…
-
Strale agent skills with remote MCP connector for Strale platform integration.
-
Convert MCP servers to token-efficient CLI tools with auto-generated SKILL.md files for Claude Code agents
Publicado en Claude Code: claude-plugins-official (5)
-
playwright-mcp io.github.microsoft/playwright-mcp
Playwright Tools for MCP
-
Search companies and contacts, enrich leads, find lookalikes, and get AI-ranked contact recommendations. Pre-built skills chain multiple ZoomInfo tools into complete B2B sales…
-
Upstash Context7 MCP server for up-to-date documentation lookup. Connects to Context7's hosted remote MCP server (https://mcp.context7.com/mcp) — no local Node.js or npx required…
-
Exa AI web search, deep research, and content extraction. Provides MCP tools and research skills for comprehensive web search, people discovery, company research, academic papers…
-
Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…
Publicado en Claude: knowledge-work-plugins (5)
-
Search companies and contacts, enrich leads, find lookalikes, and get AI-ranked contact recommendations. Pre-built skills chain multiple ZoomInfo tools into complete B2B sales…
-
Exa AI web search, deep research, and content extraction. Provides MCP tools and research skills for comprehensive web search, people discovery, company research, academic papers…
-
Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…
-
The Vanta plugin connects Claude Code to Vanta's security and compliance platform through the Vanta MCP server. It combines Vanta's test-specific remediation intelligence with…
-
MCP server for terminal commands, file operations, and process management
Publicado en Codex: openai-curated (openai/plugins) (5)
-
Use MagicPath to find, inspect, install, create, and edit UI components from Codex.
-
Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
-
Codex Security workflows for security scans, analysis, and investigation.
-
Work with SharePoint using the configured Microsoft SharePoint app connector.
-
Skills for NVIDIAs ecosystem spans GPU acceleration, CUDA, AI agents, inference, robotics, Physical AI, Omniverse, and simulation. This plugin helps you understand the pieces…
Publicado en Community GitHub marketplaces (5)
-
Exa AI web search, deep research, and content extraction. Provides MCP tools and research skills for comprehensive web search, people discovery, company research, academic papers…
-
inquisitor io.github.1111111111111111111114oLvT2/inquisitor
Hypothesis-driven problem solving for AI agents: probe, falsify, escalate.
-
4da-mcp-server io.github.4DA-Systems/4da-mcp-server
Upgrade intelligence for AI agents: what an upgrade changes, where it touches your code, CVE scans.
-
Automate API security directly in Claude Code with 42Crunch - automatically audit OpenAPI specs, detect vulnerabilities aligned with OWASP API Security risks (including…
-
Your agent asks humans on Salt and gets answers: messages, tap-to-answer cards, invoices.
Publicado en Copilot CLI: github/awesome-copilot (5)
-
Safe BLE diagnostics, evidence workflows, and guarded automation for AI agents.
-
Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…
-
Three-layer verification pipeline for AI output. Extracts claims, finds sources, and flags hallucination risks so humans can verify before acting.
-
Complete toolkit for building Model Context Protocol (MCP) servers in Go using the official github.com/modelcontextprotocol/go-sdk. Includes instructions for best practices, a…
-
Access official Microsoft documentation, API references, and code samples for Azure, .NET, Windows, and more.
Publicado en Copilot CLI: github/copilot-plugins (5)
-
mcp-apps
Generate MCP App widgets for MCP tools. Produces self-contained HTML widgets using the MCP Apps protocol.
-
Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
-
Build Power Apps Canvas Apps using the Canvas Authoring MCP server.
-
workiq
Query Microsoft 365 data with natural language — emails, meetings, documents, Teams messages, and more.
-
Advanced Security plugin for GitHub Copilot.
Publicado en Cursor: cursor/plugins (5)
-
playwright-mcp io.github.microsoft/playwright-mcp
Playwright Tools for MCP
-
CLI-backed repo compatibility scans plus agents that audit startup, validation, and docs against reality.
-
Search company knowledge and draft verified answers.
-
Browse and automate the web with TinyFish: run multi-step web automations, search the web, extract clean page content, and drive remote stealth browser sessions.
-
Build apps, scripts, and automations with the TypeScript SDK.
Publicado en Docker MCP Catalog (5)
-
The Official Model Context Protocol (MCP) server for Kagi Search & other tools.
-
MCP server for AI access to SmartBear tools, including BugSnag, Reflect, Swagger, PactFlow, QTM4J.
-
Discover and connect to a curated marketplace of MCP servers for extending AI agent capabilities.
-
A MCP server implementation for hyperbrowser.
-
tavily-mcp io.github.tavily-ai/tavily-mcp
MCP server for advanced web search using Tavily
Publicado en Official MCP Registry (5)
-
Product and service specs with per-field confidence, plus dated price offers.
-
docs com.ntop/docs
Search and query nTop's knowledge base and engineering guides from AI applications.
-
deep-research-mcp-server io.github.Perufitlife/deep-research-mcp-server
Web search, clean page reading & one-call research dossiers for AI agents. No API key.
-
Your AI research assistant that cites real sources and stays honest
-
Search and explore source-backed SEO, SaaS, and LLM-wiki knowledge from the XKnow knowledge base.
Encontrados por significado, no por código ni repositorio compartidos: los plugins similares siguen siendo productos distintos, y esto no es una reseña ni una recomendación.
¿Es tu plugin?
Añádelo a tus proyectos y demuestra que lo mantienes con un archivo en su repositorio, un archivo en tu dominio o un registro DNS. Recibirás avisos cuando un marketplace lo publique, lo retire, cambie su marca verificada o lo que pide, y su endpoint remoto quedará monitorizado como un servicio web.
Datos de Official MCP Registry. Las cifras proceden de nuestros propios recorridos periódicos por los marketplaces, leída por última vez el . No publicamos datos de contacto de los editores de plugins.