25DNo CVEsunknown
Quick Install
{
"mcpServers": {
"mcp-z3-prover": {
"command": "uvx",
"args": [
"mcp-z3-prover"
]
}
}
}Are you the author?
Add this badge to your README to show your security score and help users find safe servers.
Embed in your READMEAbout badges →
[](https://mcppedia.org/s/mcp-z3-prover)
Should you use this server?
MCP server exposing Z3 solver API
✓
Is it safe?
No known CVEs for mcp-z3-prover.
No authentication — any process on your machine can connect.
License not specified.
~
Is it maintained?
Commit history unknown.
i
Will it work with my client?
Transport: stdio. Works with Claude Desktop, Cursor, Claude Code, and most MCP clients.
Test This Server
Run this in your terminal to verify the server starts. Then let us know if it worked — your result helps other developers.
uvx 'mcp-z3-prover' 2>&1 | head -1 && echo "✓ Server started successfully"
After testing, let us know if it worked:
Score Breakdown
Security
20/30No known vulnerabilities.
✓
○
Tool safety — No tools to analyze
○
Tool poisoning — No tools to analyze
○
Injection vectors — No tools to analyze
✓
Tool stability — Tool definitions stable
○
Dependency health — found on deps.dev, recently updated
✗
License — No license specified
○
Authentication — No authentication required
