SpecProof
SpecProof: Search standards specs with MCP-ready precision.
Servidor MCP · de specproof.ai
Resumo
SpecProof é um servidor MCP publicado por specproof.ai. Marketplaces que lemos e que o listam: 1 (Official MCP Registry). Vimos pela primeira vez em 2026-10-11 e não registramos mudanças desde então. Conforme nossa passagem pelos marketplaces em 2026-10-12.
O que pede
- Roda remotamente
Nenhum dos marketplaces que lemos publica as ferramentas ou as configurações que ele pede.
O que declara, pede e executa, por completo
Instale apenas plugins de desenvolvedores em quem você confia. Mostramos o que os marketplaces publicam e não testamos plugins.
Funciona com
- Claude Code
- Codex
- Cursor
- VS Code
- Copilot CLI
Um link de um clique abre o cliente, que pede confirmação antes de adicionar o servidor.
Pelos marketplaces que o listam e pelo transporte MCP que declara, conforme cada cliente documenta. Não testamos plugins.
Conectar
Comandos e configurações gerados apenas a partir do que os marketplaces declaram. Não os executamos por você e não testamos plugins.
Como servidor MCP remoto
Gerado a partir do que Official MCP Registry declara.
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/"
}
}
}Onde está publicado
| Marketplace | Status | Versão | Números | Verificado | Visto pela primeira vez |
|---|---|---|---|---|---|
| Official MCP Registry (Abrir o registro) | Listado | 1.0.0 | Nenhum número publicado | Sem marcação |
Cada número é do próprio marketplace e nunca é somado entre marketplaces. Um marketplace que não publica números não mostra nenhum: sem número não é zero.
O que mudou
Nada mudou neste plugin desde que começamos a acompanhá-lo.
Plugins semelhantes
Produtos cujos próprios nomes, descrições, ferramentas e skills são os mais próximos deste pelo significado, em todos os marketplaces que lemos. A proximidade é ordenada apenas dentro desta 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 semelhantes por marketplace
A mesma pergunta feita a cada marketplace separadamente: existe lá um equivalente deste plugin?
Listado em 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
Listado em 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…
Listado em 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
Listado em 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…
Listado em 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.
Listado em 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.
Listado em 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.
Listado em 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.
Listado em 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
Listado em 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 pelo significado, não por código ou repositório em comum: plugins semelhantes continuam sendo produtos distintos, e isto não é uma avaliação nem uma recomendação.
Este plugin é seu?
Adicione-o aos seus projetos e prove que o mantém com um arquivo no repositório, um arquivo no seu domínio ou um registro DNS. Você recebe alertas quando um marketplace o publica, o remove, muda a marca de verificado ou o que ele pede, e o endpoint remoto passa a ser monitorado como um serviço web.
Dados de Official MCP Registry. Os números vêm das nossas próprias passagens regulares pelos marketplaces, última leitura em . Não publicamos dados de contato dos editores de plugins.