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.
Tools
Functions exposed to the LLM to take actions
z3
Executes the Z3 constraint solver on SMT-LIB input.
Prompts
Interactive templates invoked by user choice
No prompts
Resources
Contextual data attached and managed by the client