nfragile

Verified record · from the answer index

io.github.daedalus/mcp-z3-prover

mcptested · static-verifiedscore 41/100signed passport ✓published 202d ago · verified 2026-08-081 GitHub stars

MCP server exposing Z3 solver API

registry:io.github.daedalus/mcp-z3-prover · published by daedalus · source repository