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 元数据，但尚无公开的验证运行。