z3_mcp
If you are the rightful owner of z3_mcp and would like to certify it and/or have it hosted online, please leave a comment on the right or send an email to henry@mcphub.com.
A Python implementation of abstractions over the Z3 Theorem Prover capabilities using functional programming principles, exposed through a Model Context Protocol (MCP) server.
Comments
No comments yet. Be the first to comment!