A MCP server for symbolic manipulation of mathematical expressions

Composable mathematics tools for agents