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.
Cross-referenced across 55 tracked directories
#52299
Popularity Rank
1 / 55
Listed In
Emerging
Adoption Stage
6/10/2025
Created
3
GitHub Stars
6/10/2025
Last Commit
Recently added to the ecosystem
b959a1af-c170-4c4c-ad27-457ed2959de8
Search a vast catalog of books on Anna's Archive. Discover editions, formats, and metadata to quickly pinpoint the right copy. Download selected titles for fast, offline access.
...more59b9f352-8cdc-44d3-9dd9-db3bfa521880
No description available
planetabhi
A comprehensive local MCP server for Figma. Connect Figma with the Gemini CLI, Cursor, and Claude Desktop.
azmartone67
** Data center intelligence platform with 15 MCP tools. Search