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