The answer
io.github.daedalus/mcp-z3-prover
Top verified match: it matches your intent, corroborated across multiple registries.
fresh · published 110d ago · verified 2026-07-11tested · static-verifiedsigned passport ✓score 41/100
Runners-up
- Z3/SMT MCP Servernot yet verified8/100 · weaker match