M

MCP Solver

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

什麼是MCP Solver?

MCP Solver是一個通過Model Context Protocol(MCP)集成大型語言模型和約束求解器的工具。它允許用戶創建、編輯和解決基於MiniZinc、PySAT和Z3的約束模型。

如何使用MCP Solver?

用戶可以通過命令行或圖形界面與MCP Solver交互。首先安裝所需依賴,然後選擇合適的模式(MiniZinc、PySAT或Z3),最後輸入模型並運行求解。

適用場景

MCP Solver適用於需要解決組合優化、邏輯推理和複雜約束問題的應用場景,如調度安排、資源配置和路徑規劃。

主要功能

MiniZinc模式支持豐富的約束表達式和全局約束,適用於複雜的組合優化問題。
PySAT模式用於布爾邏輯和命題邏輯的求解,支持多種SAT求解器。
Z3模式強大的SMT求解器,支持量化和複雜理論約束。
交互式模型構建允許用戶逐步構建和調試模型,即時查看求解狀態。

優勢與侷限性

優勢
支持多種求解模式,適應不同問題類型。
集成LLM能力,提升問題建模效率。
開源且易於擴展,適合研究和開發使用。
侷限性
需要一定的編程基礎來定義模型。
大規模問題可能需要高性能計算資源。
當前版本仍處於原型階段,穩定性有待驗證。

如何使用

安裝依賴
確保已安裝Python 3.11及以上版本,並使用uv工具管理項目。
啟動服務器
根據需求選擇模式(MiniZinc、PySAT或Z3)。例如,MiniZinc模式可以使用命令'mcp-solver-mzn'。
添加模型
通過命令行逐步構建模型,支持添加、刪除和替換約束。
運行求解
執行求解操作並查看結果。

使用案例

演員分配問題解決一個劇院導演在演員分配上的難題。
N皇后問題驗證在不同棋盤大小下是否可以放置N個皇后。

常見問題

MCP Solver支持哪些求解模式?
如何安裝MCP Solver所需的依賴?
MCP Solver適用於哪些場景?

相關資源

GitHub倉庫
MCP Solver的官方GitHub倉庫。
MCP官網
瞭解Model Context Protocol的更多信息。
用戶反饋表單
提供您的使用反饋。
Installation
Copy the following command to your Client for configuration
Note: Your key is sensitive information, do not share it with anyone.
N
Notte Browser
Certified
Notte是一個開源的全棧網絡AI代理框架,提供瀏覽器會話、自動化LLM驅動的代理、網頁觀察與操作、憑證管理等功能,旨在將互聯網轉化為代理友好的環境,並通過自然語言描述網站結構,降低LLM的認知負擔。
649
4.5 points
S
Search1api
Search1API MCP Server是一個基於Model Context Protocol (MCP)的服務器,提供搜索和爬取功能,支持多種搜索服務和工具。
TypeScript
326
4 points
D
Duckduckgo MCP Server
Certified
DuckDuckGo搜索MCP服務器,為Claude等LLM提供網頁搜索和內容抓取服務
Python
806
4.3 points
B
Bing Search MCP
一個用於集成微軟Bing搜索API的MCP服務器,支持網頁、新聞和圖片搜索功能,為AI助手提供網絡搜索能力。
Python
223
4 points
M
MCP Alchemy
Certified
MCP Alchemy是一個連接Claude Desktop與多種數據庫的工具,支持SQL查詢、數據庫結構分析和數據報告生成。
Python
313
4.2 points
P
Postgresql MCP
一個基於FastMCP庫的PostgreSQL數據庫MCP服務,提供對指定表的CRUD操作、模式檢查和自定義SQL查詢功能。
Python
99
4 points
A
Agentic Radar
Agentic Radar是一個用於分析和評估代理系統的安全掃描工具,幫助開發者、研究人員和安全專家理解代理系統的工作流程並識別潛在漏洞。
Python
546
5 points
M
MCP Scan
MCP-Scan是一款針對MCP服務器的安全掃描工具,用於檢測提示注入、工具汙染和跨域升級等常見安全漏洞。
Python
607
5 points
Featured MCP Services
M
Markdownify MCP
Markdownify是一個多功能文件轉換服務,支持將PDF、圖片、音頻等多種格式及網頁內容轉換為Markdown格式。
TypeScript
1.7K
5 points
B
Baidu Map
Certified
百度地圖MCP Server是國內首個兼容MCP協議的地圖服務,提供地理編碼、路線規劃等10個標準化API接口,支持Python和Typescript快速接入,賦能智能體實現地圖相關功能。
Python
717
4.5 points
F
Firecrawl MCP Server
Firecrawl MCP Server是一個集成Firecrawl網頁抓取能力的模型上下文協議服務器,提供豐富的網頁抓取、搜索和內容提取功能。
TypeScript
3.9K
5 points
S
Sequential Thinking MCP Server
一個基於MCP協議的結構化思維服務器,通過定義思考階段幫助分解複雜問題並生成總結
Python
285
4.5 points
M
Magic MCP
Magic Component Platform (MCP) 是一個AI驅動的UI組件生成工具,通過自然語言描述幫助開發者快速創建現代化UI組件,支持多種IDE集成。
JavaScript
1.7K
5 points
C
Context7
Context7 MCP是一個為AI編程助手提供即時、版本特定文檔和代碼示例的服務,通過Model Context Protocol直接集成到提示中,解決LLM使用過時信息的問題。
TypeScript
5.2K
4.7 points
N
Notion Api MCP
Certified
一個基於Python的MCP服務器,通過Notion API提供高級待辦事項管理和內容組織功能,實現AI模型與Notion的無縫集成。
Python
129
4.5 points
E
Edgeone Pages MCP Server
EdgeOne Pages MCP是一個通過MCP協議快速部署HTML內容到EdgeOne Pages並獲取公開URL的服務
TypeScript
260
4.8 points
AIbase
Zhiqi Future, Your AI Solution Think Tank
© 2025AIbase