A MCP server for symbolic manipulation of mathematical expressions - View it on GitHub