{"name":"SpecProof MCP Server","version":"2.0.0","protocol":"MCP","transport":"streamable-http","status":"ready","domain":"mcp.specproof.ai","uptime":"299364.6s","endpoints":{"mcp":"https://mcp.specproof.ai/mcp","health":"https://mcp.specproof.ai/health","docs":"https://mcp.specproof.ai/docs"},"capabilities":{"tools":16,"search_types":["text","semantic","graph"]}}