SERVER
Specproof Mcp
Rank #1087ai.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 #1087 of 58,832 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,087of 58,832 tracked serversTop 5%
Ranks ahead of 57,745 of 58,832 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