mcp-z3-prover
本地MCP server exposing Z3 solver API
安装配置
{
"mcpServers": {
"mcp-z3-prover": {
"command": "npx",
"args": [
"mcp-z3-prover"
]
}
}
}
MCP server exposing Z3 solver API
{
"mcpServers": {
"mcp-z3-prover": {
"command": "npx",
"args": [
"mcp-z3-prover"
]
}
}
}