{"openapi":"3.1.0","info":{"title":"verification-mcp","version":"1.0.0","description":"Betti number computation, topological deficit analysis, fold verification, DAG structural analysis, and pipeline invariant checking."},"servers":[{"url":"https://verification.forkjoin.ai"}],"paths":{"/mcp":{"post":{"summary":"MCP JSON-RPC endpoint","requestBody":{"content":{"application/json":{"schema":{"type":"object"}}}},"responses":{"200":{"description":"MCP response"}}}}}}