Stats
Actions
Tags
Help us improve
Share bugs, ideas, or general feedback.
npx claudepluginhub newjerseystyle/plugin-logic-llmCopy 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-mcpShare bugs, ideas, or general feedback.