Links for sagemath-mcp