PyPI recent updates for mcp-z3-prover https://pypi.org/project/mcp-z3-prover/ Recent updates to the Python Package Index for mcp-z3-prover en 0.1.0 https://pypi.org/project/mcp-z3-prover/0.1.0/ MCP server exposing Z3 solver API clavijodario@gmail.com Sat, 28 Mar 2026 15:16:06 GMT