SERVER

Specproof MCP

Rank #1,681

ai.specproof/specproof-mcp

MCP server providing specproof-mcp capabilities

2 versions

187 GitHub stars

by ibouazizi (1 servers)View repository ↗Claim this server

Listed & last published

Feb 1, 2026

OVERVIEW

Specproof MCP is a Model Context Protocol (MCP) server published by ibouazizi. It ranks #1,681 of 132,046 servers tracked on MCP Toplist, and its repository has 187 GitHub stars. Specproof MCP is listed on Official MCP, with 2 tracked versions. It was first listed on Feb 1, 2026 and most recently updated on Feb 1, 2026.

STANDING

#1,681of 132,046 tracked serversTop 5%

Ranks ahead of 130,365 of 132,046 servers on MCP Toplist.

CONNECT

Use Specproof MCP

No setupRuns out of the box

No credentials or required configuration declared — add it to your MCP client and go.

Remote · HTTP

claude mcp add --transport http specproof-mcp https://mcp.specproof.ai/

Remote · HTTP

[mcp_servers.specproof-mcp]
url = "https://mcp.specproof.ai/"

Add to ~/.codex/config.toml.

Remote · HTTP

https://mcp.specproof.ai/

Settings → Connectors → “Add custom connector”, then paste this URL.

Remote · HTTP

{
  "mcpServers": {
    "specproof-mcp": {
      "url": "https://mcp.specproof.ai/"
    }
  }
}

Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (per project).

Remote · HTTP

{
  "servers": {
    "specproof-mcp": {
      "type": "http",
      "url": "https://mcp.specproof.ai/"
    }
  }
}

Save as .vscode/mcp.json in your workspace.

Remote · HTTP

{
  "mcpServers": {
    "specproof-mcp": {
      "serverUrl": "https://mcp.specproof.ai/"
    }
  }
}

Add to ~/.codeium/windsurf/mcp_config.json.

Remote · HTTP

{
  "mcpServers": {
    "specproof-mcp": {
      "url": "https://mcp.specproof.ai/"
    }
  }
}

BADGE

Show your rank

Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.

Markdown

[![MCP Toplist](https://mcptoplist.com/badge/ai.specproof%2Fspecproof-mcp.svg)](https://mcptoplist.com/server/ai.specproof%2Fspecproof-mcp)

HTML

<a href="https://mcptoplist.com/server/ai.specproof%2Fspecproof-mcp"><img src="https://mcptoplist.com/badge/ai.specproof%2Fspecproof-mcp.svg" alt="MCP Toplist: Top 5% of 132,046" /></a>

Variants: append ?metric=score or ?metric=stars to the image URL.

REGISTRIES

Listed on 1 registry

Official MCP

ORGANIZATION

ibouazizi

Organization

ibouazizi

Servers in org

Versions across org

VERSIONS

Available versions (2)

Version	Published
1.0.0	Feb 1, 2026
0.1.0	Nov 25, 2024

FAQ

Frequently asked questions

Who maintains Specproof MCP?: Specproof MCP is maintained by ibouazizi, which publishes 1 MCP server (2 total versions) tracked on MCP Toplist.
Is Specproof MCP listed on the Official MCP Registry?: Yes — Specproof MCP is listed on the Official MCP Registry.
How many versions does Specproof MCP have?: MCP Toplist tracks 2 versions of Specproof MCP, most recently published on Feb 1, 2026.
Where can I find the source code for Specproof MCP?: The source code for Specproof MCP is hosted at github.com/ibouazizi/specproof.git.

Used in projects

Do you run this server?

Add to a project

Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.

EXPLORE

All MCP Servers Official MCP Servers GitHub MCP Servers Best MCP Servers Most Active MCP Servers New MCP Servers Best New MCP Servers