TrendingRisingGemsRadarToolboxKitsNewsCategoriesAbout

MCP server

mcp-z3-prover

MCP server exposing Z3 solver API

Open source Backend & APIs

Downloads

29

per week on pypi

Add to Claude Code

claude mcp add mcp-z3-prover -- uvx mcp-z3-prover

Package: mcp-z3-prover (pypi)

First seen
2026-03-28
Weekly downloads
29

Similar in Backend & APIs

Updated Mon, 19 Oct 2026 05:00:16 GMT · description from the project itself