{"name":"TheoremSearch MCP","version":"2.0.0","endpoint":"/mcp","methods":["initialize","ping","tools/list","tools/call"]}