# See repository for install instructions
{
"mcpServers": {
"aispecproof-specproof-mcp": {
"command": "npx",
"args": []
}
}
}
{
"mcpServers": {
"aispecproof-specproof-mcp": {
"command": "npx",
"args": []
}
}
}
{
"mcpServers": {
"aispecproof-specproof-mcp": {
"command": "npx",
"args": []
}
}
}
TRY THIS MCP
About This MCP Server
The SpecProof Model Context Protocol server is a search tool that enables developers to find standards specs with precision, connecting to AI coding assistants through the Model Context Protocol. It allows for remote searching, providing access to relevant specifications and standards. Developers would use this tool when they need to search for specific standards or specs to inform their coding decisions, leveraging the precision provided by the Model Context Protocol.
SpecProof: Search standards specs with MCP-ready precision.. This is a Model Context Protocol (MCP) server that extends AI assistants like Claude with search & web scraping capabilities via the streamable-http transport.
HOW TO USE
Select your AI client above to get the install command. This MCP server uses the streamable-http transport.
What tools does it provide?
The SpecProof server extends your AI assistant with search & web scraping capabilities. Once installed, your AI can use its tools automatically.