A MCP server for solving optimization problems with constraintsgithub.com/sdiehl2 pointsselvana year ago