sagemath-mcp
