MCP-ORTools是一個基於Google OR-Tools的約束求解服務，通過標準化的約束模型規範與大型語言模型集成，實現約束問題的提交、求解和結果分析。

MCP Solver是一個通過模型上下文協議（MCP）將SAT、SMT和約束求解能力暴露給大型語言模型的服務器。

該項目基於Z3定理證明器，採用函數式編程方法實現約束求解和關係分析功能，並通過MCP協議服務器提供標準化接口。

MCP-ORTools是一個基於Google OR-Tools的約束求解服務實現，通過標準化約束模型規範與大型語言模型集成，支持約束滿足和優化問題的求解。

一個通用的模型上下文協議(MCP)服務器，用於解決具有邏輯和數值約束的組合優化問題，支持多種求解器並提供統一的AI助手接口。

Gurddy MCP服務器是一個基於gurddy優化庫的綜合約束求解和優化平臺，支持約束滿足問題、線性規劃、Minimax博弈論和SciPy高級優化，提供16種求解工具並通過Stdio和HTTP兩種MCP傳輸協議為IDE和Web客戶端提供服務