Stats
Actions
Tags
Copy this JSON into your .mcp.json to enable this server
Add to your .mcp.json:
{
"mcpServers": {
"z3smt-mcp": {
"command": "z3smt-mcp"
}
}
}Server configuration and connection parameters
z3smt-mcpnpx claudepluginhub newjerseystyle/plugin-logic-llm