rateme12daedalus/mcp-z3-prover
latest · 0.1.0MCP server exposing Z3 solver API
- GitHub
- daedalus/mcp-z3-prover
- PyPI
- mcp-z3-prover
- MCP registry
- io.github.daedalus/mcp-z3-prover
Install
claude mcp add io-github-daedalus-mcp-z3-prover -- uvx mcp-z3-prover/mcp confirms it's connected.
Or add it manually in ~/.cursor/mcp.json:
{
"mcpServers": {
"io-github-daedalus-mcp-z3-prover": {
"command": "uvx",
"args": [
"mcp-z3-prover"
]
}
}
}In claude_desktop_config.json (Settings → Developer → Edit Config), then restart:
{
"mcpServers": {
"io-github-daedalus-mcp-z3-prover": {
"command": "uvx",
"args": [
"mcp-z3-prover"
]
}
}
}Config entry, any MCP client:
{
"command": "uvx",
"args": [
"mcp-z3-prover"
]
}Community score
Community21/ 100
from web signals · no reviews yet (community v3)
- Web signals (ecosystem baseline)21/100 · 100% of the weight
Used it? Rate v0.1.0
No reviews yet — be the first.
What the web says
Ecosystem baseline21/ 100
Objective public usage & activity (formula v3) — the community score's web-signals input, and its own sort.
GitHubsource ↗
- GitHub stars · 17 days ago
- ★ 1
- Contributors · 14 days ago
- 1
- Last commit · 17 days ago
- 161 days ago
- Latest release · 17 days ago
- v0.1.0
- License · 17 days ago
- MIT
Packages
- PyPI downloads · 14 days ago
- 16 / week ↗
Listed on
- Glama · 6 days ago
- Listed · Glama quality score 3.8 ↗
Mentions
No public discussion scraped yet.
Docs & liveness
No liveness or verification signals yet.
Version history1
- 0.1.0release date unknown
Badge for your README
Shows this page's community score and its sample, kept current, and links readers here to review.
[](https://rateme12.com/servers/3a9848d4-3707-490f-a1d5-c78660ac2699)Details
- Transport
- stdio
- Status
- listed
- Source
- Imported from the MCP registry
- Repository
- source ↗