mcp-server.io

mcp-z3-prover

io.github.daedalus/mcp-z3-prover

95
security score

MCP server exposing Z3 solver API

1.0
Stale
Repository ↗
GitHub stars
1
Last commit
5 months ago
Transport
stdio

Security scan

Last scanned 23 hours ago — static analysis of the published manifest.

  • lowManifest makes network requests.