Zena - our friendly AI robot.MCP Server IndexHome
Back
z3_mcp icon

z3_mcp

An MCP server for the z3 theorem prover

javergar
Python
View on GitHub
Package Information
z3_mcp
0 downloads/month
View on PyPI
Resources
GitHub Statistics
Stars
1
Watchers
1
Forks
0
Releases
0
Repository createdMarch 31, 2025
Last updatedApril 4, 2025
Stats refreshedMay 18, 2025