SERVER
Specproof MCP
Rank #1122ai.specproof/specproof-mcp
SpecProof: Search standards specs with MCP-ready precision.
First listed
Feb 1, 2026
Last publish date
Feb 1, 2026
OVERVIEW
Specproof MCP is a Model Context Protocol (MCP) server published by ibouazizi. It ranks #1122 of 58,900 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,122of 58,900 tracked serversTop 5%
Ranks ahead of 57,778 of 58,900 servers on MCP Toplist.
Recent momentum
+28GitHub stars since Jan 26 (+17%)
CONNECT
Use Specproof MCP
Add Specproof MCP to any MCP client (Claude, Cursor, VS Code, …) with one of the configs below.
Remote · HTTP
{
"mcpServers": {
"specproof-mcp": {
"url": "https://mcp.specproof.ai/"
}
}
}REGISTRIES
Listed on 1 registry
ORGANIZATION
ibouazizi
VERSIONS
Available versions (2)
| Version | Published |
|---|---|
| 1.0.0 | Feb 1, 2026 |
| 0.1.0 | Nov 25, 2024 |
FAQ
Frequently asked questions
- What is Specproof MCP?
- SpecProof: Search standards specs with MCP-ready precision.
- 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 an official MCP server?
- 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.
EXPLORE