igorwwwwwwwwwwwwwwwwwwww/z3-mcp
3.2
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 Model Context Protocol (MCP) server that provides access to the Z3 Theorem Prover and constraint solver through standardized MCP tools.
Comments
No comments yet. Be the first to comment!