MCP server exposing Z3 solver API
{
"mcpServers": {
"io-github-daedalus-mcp-z3-prover": {
"command": "<see-readme>",
"args": []
}
}
}No install config available. Check the server's README for setup instructions.
MCP server exposing Z3 solver API
Is it safe?
No package registry to scan.
No authentication — any process on your machine can connect.
License not specified.
Is it maintained?
Last commit 4 days ago.
Will it work with my client?
Transport: stdio. Works with Claude Desktop, Cursor, Claude Code, and most MCP clients.
No automated test available for this server. Check the GitHub README for setup instructions.
This server is missing a description. Tools and install config are also missing.If you've used it, help the community.
Add informationLast scanned 1h ago
No known vulnerabilities.
Have you used this server?
Share your experience — it helps other developers decide.
Sign in to write a review.
Start a conversation
Ask a question, share a tip, or report an issue.
Sign in to join the discussion.