Ext Ops Panel
Ouvrir le tableau de bord

SpecProof

SpecProof: Search standards specs with MCP-ready precision.

Serveur MCP · par specproof.ai

Connecter Comparer Revendiquer

Aperçu

SpecProof est un serveur MCP publié par specproof.ai. Places de marché que nous lisons et qui le référencent : 1 (Official MCP Registry). Nous l'avons vu pour la première fois le 2026-10-11 et n'avons enregistré aucun changement depuis. Selon notre passage sur les places de marché du 2026-10-13.

Ce qu'il demande

  • S'exécute à distance

Aucune des places de marché que nous lisons ne publie ses outils ni les réglages qu'il demande.

Ce qu'il déclare, demande et exécute, en détail

N’installez que des plugins de développeurs en qui vous avez confiance. Nous reprenons ce que publient les places de marché et ne testons pas les plugins.

Fonctionne avec

  • Claude Code
  • Codex
  • Cursor
  • VS Code
  • Copilot CLI
Installer dans CursorInstaller dans VS Code

Un lien en un clic ouvre le client, qui demande une confirmation avant d'ajouter le serveur.

D'après les marketplaces qui le listent et le transport MCP qu'il déclare, tels que chaque client les documente. Nous ne testons pas les plugins.

Connecter

Commandes et configurations construites uniquement à partir de ce que déclarent ses places de marché. Nous ne les exécutons pas pour vous et ne testons pas les plugins.

En serveur MCP distant

Construit à partir de ce que déclare Official MCP Registry.

Claude CodeTerminal
claude mcp add --transport http specproof-mcp https://mcp.specproof.ai/
Codex~/.codex/config.toml
[mcp_servers.specproof-mcp]
url = "https://mcp.specproof.ai/"
Cursor~/.cursor/mcp.json
{
  "mcpServers": {
    "specproof-mcp": {
      "url": "https://mcp.specproof.ai/"
    }
  }
}

Où il est publié

Place de marchéStatutVersionChiffresVérifiéVu pour la première fois
Official MCP Registry (Ouvrir la fiche du registre) Référencé 1.0.0 Aucun chiffre publié Non marqué

Chaque chiffre est celui de la place de marché et n'est jamais additionné entre places de marché. Une place de marché qui ne publie pas de chiffre n'en affiche aucun : pas de nombre ne veut pas dire zéro.

Ce qui a changé

Rien n'a bougé sur ce plugin depuis que nous le suivons.

Plugins similaires

Produits dont les noms, descriptions, outils et skills sont les plus proches de celui-ci par le sens, sur toutes les places de marché que nous lisons. La proximité n'est classée qu'à l'intérieur de cette liste.

  • commonspecs

    Product and service specs with per-field confidence, plus dated price offers.

    par commonspecs.com · Serveur MCP

    Référencé sur : Official MCP Registry · Décrit presque le même besoin

  • docs com.ntop/docs

    Search and query nTop's knowledge base and engineering guides from AI applications.

    par ntop.com · Serveur MCP

    Référencé sur : Official MCP Registry · Décrit presque le même besoin

  • 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.

    par Perufitlife · Serveur MCP

    Référencé sur : Official MCP Registry · Décrit presque le même besoin

  • Kagi Search

    The Official Model Context Protocol (MCP) server for Kagi Search & other tools.

    par kagisearch · Serveur MCP

    Référencé sur : Docker MCP Catalog · Décrit presque le même besoin

  • Web Researcher MCP

    Your AI research assistant that cites real sources and stays honest

    par zoharbabin · Serveur MCP

    Référencé sur : Official MCP Registry · Décrit presque le même besoin

  • XKnow Knowledge Base

    Search and explore source-backed SEO, SaaS, and LLM-wiki knowledge from the XKnow knowledge base.

    par techreone · Serveur MCP

    Référencé sur : Official MCP Registry · Décrit presque le même besoin

  • O'Reilly Expert MCP Server

    Grounded, citable answers to tech questions from O'Reilly's library. Requires Expert MCP access.

    par oreillymedia · Serveur MCP

    Référencé sur : Official MCP Registry · Décrit presque le même besoin

  • ComplianceAutomator Public MCP

    Public read-only MCP for products, frameworks, guides, methodology, and blog metadata.

    par complianceautomator.com · Serveur MCP

    Référencé sur : Official MCP Registry · Décrit presque le même besoin

  • Secret MCP

    Local MCP server for isolated, evidence-backed GDWEB design analysis and web search.

    par yyeongjin · Serveur MCP

    Référencé sur : Official MCP Registry · Décrit presque le même besoin

  • Brian Booms MCP

    Brian Booms x402 product catalog as agent tools. Read-only.

    par brianbooms · Serveur MCP

    Référencé sur : Official MCP Registry · Décrit presque le même besoin

Plugins similaires par place de marché

La même question posée à chaque place de marché séparément : y a-t-il là un équivalent de ce plugin ?

Référencé sur Claude Code: claude-plugins-community (5)

  • Outline MCP Server

    Connect AI assistants to Outline for document search, reading, and management

    par Vortiago · Serveur MCP

    Référencé sur : Official MCP Registry, Claude Code: claude-plugins-community · Décrit presque le même besoin

  • Olostep MCP Server

    Search, scrape, and crawl the web for AI agents. Batch scraping and answers with citations.

    par olostep · Serveur MCP

    Référencé sur : Official MCP Registry, Claude Code: claude-plugins-community · Décrit presque le même besoin

  • langguard-scope-mcp

    SCOPE - Security, Compliance & Operational Policy Evaluation - A Claude plugin that runs deterministic pre-flight compliance evaluation on agentic workflows. Maps every MCP tool…

    par LangGuard-AI · Lot de plugins

    Référencé sur : Claude Code: claude-plugins-community · Décrit presque le même besoin

  • strale

    Strale agent skills with remote MCP connector for Strale platform integration.

    par strale-io · Lot de plugins

    Référencé sur : Claude Code: claude-plugins-community · Décrit presque le même besoin

  • mcp2cli

    Convert MCP servers to token-efficient CLI tools with auto-generated SKILL.md files for Claude Code agents

    par myeolinmalchi · Lot de plugins

    Référencé sur : Claude Code: claude-plugins-community · Décrit presque le même besoin

Référencé sur Claude Code: claude-plugins-official (5)

  • playwright-mcp io.github.microsoft/playwright-mcp

    Playwright Tools for MCP

    par microsoft · Serveur MCP

    Référencé sur : Official MCP Registry, Claude Code: claude-plugins-official, Cursor: cursor/plugins, Docker MCP Catalog · Décrit presque le même besoin

  • zoominfo

    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…

    par Zoominfo · Lot de plugins

    Référencé sur : Claude Code: claude-plugins-official, Official MCP Registry, Claude: knowledge-work-plugins · Décrit presque le même besoin

  • context7

    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…

    par Upstash · Lot de plugins

    Référencé sur : Claude Code: claude-plugins-official · Décrit presque le même besoin

  • exa

    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…

    par exa-labs · Lot de plugins

    Référencé sur : Claude Code: claude-plugins-official, Official MCP Registry, Docker MCP Catalog, Claude: knowledge-work-plugins, Community GitHub marketplaces · Décrit presque le même besoin

  • figma

    Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…

    par figma · Lot de plugins

    Référencé sur : Claude Code: claude-plugins-official, Official MCP Registry, Claude: knowledge-work-plugins, Copilot CLI: github/awesome-copilot · Décrit presque le même besoin

Référencé sur Claude: knowledge-work-plugins (5)

  • zoominfo

    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…

    par Zoominfo · Lot de plugins

    Référencé sur : Claude Code: claude-plugins-official, Official MCP Registry, Claude: knowledge-work-plugins · Décrit presque le même besoin

  • exa

    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…

    par exa-labs · Lot de plugins

    Référencé sur : Claude Code: claude-plugins-official, Official MCP Registry, Docker MCP Catalog, Claude: knowledge-work-plugins, Community GitHub marketplaces · Décrit presque le même besoin

  • figma

    Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…

    par figma · Lot de plugins

    Référencé sur : Claude Code: claude-plugins-official, Official MCP Registry, Claude: knowledge-work-plugins, Copilot CLI: github/awesome-copilot · Décrit presque le même besoin

  • vanta

    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…

    par VantaInc · Lot de plugins

    Référencé sur : Claude Code: claude-plugins-official, Claude: knowledge-work-plugins, Claude Code: claude-plugins-community · Décrit presque le même besoin

  • Desktop Commander

    MCP server for terminal commands, file operations, and process management

    par wonderwhy-er · Serveur MCP

    Référencé sur : Official MCP Registry, Claude Code: claude-plugins-official, Docker MCP Catalog, Claude: knowledge-work-plugins, Claude Code: claude-plugins-community, Community GitHub marketplaces · Décrit presque le même besoin

Référencé sur Codex: openai-curated (openai/plugins) (5)

  • MagicPath

    Use MagicPath to find, inspect, install, create, and edit UI components from Codex.

    par MagicPathAI · Lot de plugins

    Référencé sur : Codex: openai-curated (openai/plugins) · Décrit presque le même besoin

  • Plugin Eval

    Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.

    par OpenAI Codex · Lot de plugins

    Référencé sur : Codex: openai-curated (openai/plugins) · Décrit presque le même besoin

  • Codex Security

    Codex Security workflows for security scans, analysis, and investigation.

    par OpenAI · Lot de plugins

    Référencé sur : Codex: openai-curated (openai/plugins) · Décrit presque le même besoin

  • SharePoint

    Work with SharePoint using the configured Microsoft SharePoint app connector.

    par OpenAI · Lot de plugins

    Référencé sur : Codex: openai-curated (openai/plugins) · Décrit presque le même besoin

  • NVIDIA

    Skills for NVIDIAs ecosystem spans GPU acceleration, CUDA, AI agents, inference, robotics, Physical AI, Omniverse, and simulation. This plugin helps you understand the pieces…

    par NVIDIA · Lot de plugins

    Référencé sur : Codex: openai-curated (openai/plugins) · Décrit presque le même besoin

Référencé sur Community GitHub marketplaces (5)

  • exa

    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…

    par exa-labs · Lot de plugins

    Référencé sur : Claude Code: claude-plugins-official, Official MCP Registry, Docker MCP Catalog, Claude: knowledge-work-plugins, Community GitHub marketplaces · Décrit presque le même besoin

  • inquisitor io.github.1111111111111111111114oLvT2/inquisitor

    Hypothesis-driven problem solving for AI agents: probe, falsify, escalate.

    par 1111111111111111111114oLvT2 · Serveur MCP

    Référencé sur : Official MCP Registry, Community GitHub marketplaces · Décrit presque le même besoin

  • 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.

    par 4DA-Systems · Serveur MCP

    Référencé sur : Official MCP Registry, Community GitHub marketplaces · Décrit presque le même besoin

  • 42crunch-api-security-testing

    Automate API security directly in Claude Code with 42Crunch - automatically audit OpenAPI specs, detect vulnerabilities aligned with OWASP API Security risks (including…

    par 42Crunch-AI · Lot de plugins

    Référencé sur : Claude Code: claude-plugins-official, Claude Code: claude-plugins-community, Community GitHub marketplaces · Décrit presque le même besoin

  • Salt

    Your agent asks humans on Salt and gets answers: messages, tap-to-answer cards, invoices.

    par saltapp.ai · Serveur MCP

    Référencé sur : Official MCP Registry, Community GitHub marketplaces · Décrit presque le même besoin

Référencé sur Copilot CLI: github/awesome-copilot (5)

  • BLEA

    Safe BLE diagnostics, evidence workflows, and guarded automation for AI agents.

    par Nitmi · Serveur MCP

    Référencé sur : Official MCP Registry, Copilot CLI: github/awesome-copilot · Décrit presque le même besoin

  • figma

    Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…

    par figma · Lot de plugins

    Référencé sur : Claude Code: claude-plugins-official, Official MCP Registry, Claude: knowledge-work-plugins, Copilot CLI: github/awesome-copilot · Décrit presque le même besoin

  • doublecheck

    Three-layer verification pipeline for AI output. Extracts claims, finds sources, and flags hallucination risks so humans can verify before acting.

    par Awesome Copilot Community · Lot de plugins

    Référencé sur : Copilot CLI: github/awesome-copilot · Décrit presque le même besoin

  • go-mcp-development

    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…

    par Awesome Copilot Community · Lot de plugins

    Référencé sur : Copilot CLI: github/awesome-copilot · Décrit presque le même besoin

  • microsoft-docs

    Access official Microsoft documentation, API references, and code samples for Azure, .NET, Windows, and more.

    par MicrosoftDocs · Lot de plugins

    Référencé sur : Claude Code: claude-plugins-official, Copilot CLI: github/awesome-copilot · Décrit presque le même besoin

Référencé sur 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.

    par microsoft · Lot de plugins

    Référencé sur : Copilot CLI: github/copilot-plugins · Décrit presque le même besoin

  • microsoft-365-agents-toolkit

    Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.

    par microsoft · Lot de plugins

    Référencé sur : Copilot CLI: github/copilot-plugins · Décrit presque le même besoin

  • canvas-apps

    Build Power Apps Canvas Apps using the Canvas Authoring MCP server.

    par microsoft · Lot de plugins

    Référencé sur : Copilot CLI: github/copilot-plugins · Décrit presque le même besoin

  • workiq

    Query Microsoft 365 data with natural language — emails, meetings, documents, Teams messages, and more.

    par microsoft · Lot de plugins

    Référencé sur : Copilot CLI: github/copilot-plugins · Décrit presque le même besoin

  • advanced-security

    Advanced Security plugin for GitHub Copilot.

    par github · Lot de plugins

    Référencé sur : Copilot CLI: github/copilot-plugins · Décrit presque le même besoin

Référencé sur Cursor: cursor/plugins (5)

  • playwright-mcp io.github.microsoft/playwright-mcp

    Playwright Tools for MCP

    par microsoft · Serveur MCP

    Référencé sur : Official MCP Registry, Claude Code: claude-plugins-official, Cursor: cursor/plugins, Docker MCP Catalog · Décrit presque le même besoin

  • Agent Compatibility

    CLI-backed repo compatibility scans plus agents that audit startup, validation, and docs against reality.

    par Cursor · Lot de plugins

    Référencé sur : Cursor: cursor/plugins · Décrit presque le même besoin

  • Guru

    Search company knowledge and draft verified answers.

    par Cursor · Lot de plugins

    Référencé sur : Cursor: cursor/plugins · Décrit presque le même besoin

  • TinyFish

    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.

    par Cursor · Lot de plugins

    Référencé sur : Cursor: cursor/plugins · Décrit presque le même besoin

  • Cursor SDK

    Build apps, scripts, and automations with the TypeScript SDK.

    par Cursor · Lot de plugins

    Référencé sur : Cursor: cursor/plugins · Décrit presque le même besoin

Référencé sur Docker MCP Catalog (5)

  • Kagi Search

    The Official Model Context Protocol (MCP) server for Kagi Search & other tools.

    par kagisearch · Serveur MCP

    Référencé sur : Docker MCP Catalog · Décrit presque le même besoin

  • SmartBear MCP

    MCP server for AI access to SmartBear tools, including BugSnag, Reflect, Swagger, PactFlow, QTM4J.

    par smartbear.com · Serveur MCP

    Référencé sur : Official MCP Registry, Docker MCP Catalog · Décrit presque le même besoin

  • OpenMesh

    Discover and connect to a curated marketplace of MCP servers for extending AI agent capabilities.

    par docker · Serveur MCP

    Référencé sur : Docker MCP Catalog · Décrit presque le même besoin

  • Hyperbrowser

    A MCP server implementation for hyperbrowser.

    par hyperbrowserai · Serveur MCP

    Référencé sur : Docker MCP Catalog · Décrit presque le même besoin

  • tavily-mcp io.github.tavily-ai/tavily-mcp

    MCP server for advanced web search using Tavily

    par tavily-ai · Serveur MCP

    Référencé sur : Official MCP Registry, Docker MCP Catalog · Décrit presque le même besoin

Référencé sur Official MCP Registry (5)

  • commonspecs

    Product and service specs with per-field confidence, plus dated price offers.

    par commonspecs.com · Serveur MCP

    Référencé sur : Official MCP Registry · Décrit presque le même besoin

  • docs com.ntop/docs

    Search and query nTop's knowledge base and engineering guides from AI applications.

    par ntop.com · Serveur MCP

    Référencé sur : Official MCP Registry · Décrit presque le même besoin

  • 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.

    par Perufitlife · Serveur MCP

    Référencé sur : Official MCP Registry · Décrit presque le même besoin

  • Web Researcher MCP

    Your AI research assistant that cites real sources and stays honest

    par zoharbabin · Serveur MCP

    Référencé sur : Official MCP Registry · Décrit presque le même besoin

  • XKnow Knowledge Base

    Search and explore source-backed SEO, SaaS, and LLM-wiki knowledge from the XKnow knowledge base.

    par techreone · Serveur MCP

    Référencé sur : Official MCP Registry · Décrit presque le même besoin

Trouvés par le sens, et non par un code ou un dépôt commun : les plugins similaires restent des produits distincts, et ceci n'est ni un avis ni une recommandation.

C'est votre plugin ?

Ajoutez-le à vos projets et prouvez que vous le maintenez : un fichier dans son dépôt, un fichier sur votre domaine ou un enregistrement DNS. Vous recevez des alertes quand une marketplace le publie, le retire, change sa marque vérifiée ou ce qu'il demande, et son endpoint distant est surveillé comme un service web.

Ajouter à vos projets Découvrir le panneau

Données issues de Official MCP Registry. Les chiffres proviennent de nos propres passages réguliers sur les places de marché, dernière lecture le . Nous ne publions aucune coordonnée des éditeurs de plugins.

D’où viennent les données : comment le catalogue est construit