io.github.daedalus/mcp-z3-prover
MCP server exposing Z3 solver API
★ 0
No license
devtools
Install
Config snippet generator goes here (5 client tabs)