标签：Gemara工具

Gemara MCP服务器是一个最小化的MCP风格服务器，通过SSE公开Gemara创作和转换工具，并将请求代理到Gemara HTTP后端。