Mizar MCP server (streamable HTTP at /mcp). midchat.io/mizar