mcp-z3-prover
MCP server exposing Z3 solver API
安裝
一鍵安裝
將以下內容加入你的 `claude_desktop_config.json` 檔案：
{
"mcpServers": {
"mcp-z3-prover": {
"command": "uvx",
"args": [
"mcp-z3-prover"
]
}
}
}可執行的套件
pypimcp-z3-prover
0.1.0stdio它能做什麼
工具清單
尚未記錄任何可發布的工具列舉。
社群
證據
近期觀測
此伺服器有 Registry 中介資料，但尚無公開的驗證執行。