1
Published Tools
3
Total Stars
0
Weekly Downloads
8
GitHub Followers
19
Public Repos
Published Tools
1 MCP Serveracross 1 categorydsouflis
A Model Context Protocol (MCP) server that provides SMT (Satisfiability Modulo Theories) solving capabilities using the Z3 theorem prover. This server allows Claude and other MCP clients to solve complex constraint satisfaction problems, mathematical equations, logic puzzles, and optimization problems.
...moreMCP Serveruncategorised
31 dir