The answer
Hy3-GGUF
Top verified match: it matches your intent, and it holds a strong verification score.
fresh · published 21d ago · verified 2026-08-01tested · static-verifiedsigned passport ✓score 75/1001 declared tools889,535 monthly downloads
Runners-up
- io.github.daedalus/mcp-z3-prover41/100 · weaker match
- z3-solver-mcp-servernot yet verified8/100 · weaker match
- mcp-z3-provernot yet verified8/100 · weaker match