io.github.daedalus/mcp-z3-prover

MCPcommunity
v0.1.0io.github.daedalusUnknownUpdated 3mo agoGitHub

MCP server exposing Z3 solver API

MCP server exposing Z3 solver API Or from command line: The server exposes the following tools: createboolvar - Create a Boolean variable createintvar - Create an Integer variable createrealvar - Create a Real variable createintconstant - Create an integer constant createrealconstant - Create a real constant addconstraint - Add a constraint to the solver solve - Solve the current problem…

Automatically indexed from public sources. Not yet verified by the developer on Forge.Claim this listing →
3mo agoLast update
Package
Authorio.github.daedalus
LicenseUnknown
Version0.1.0
Sourcemcp-registry
GitHubdaedalus/mcp-z3-prover
Trust Status
B
60/100Good
✓Listed in Forge index+10/10
—Publisher identity verified+0/25
→ Publisher: run `forge publish` from the package repo to claim ownership
—Ed25519 publish signature+0/10
→ Included automatically when the publisher runs `forge publish`
—Domain verification+0/5
→ Publisher: host /.well-known/forge.json on the package homepage with { "publisher": "<github-login>" }
✓CVE scan · clean+30/30
✓Static analysis · clean+20/20
—npm provenance (Sigstore)+0/5
→ Publish from GitHub Actions with the --provenance flag
Paste into Claude Code, Cursor, or any AI assistant to fix all gaps
StatusCommunity-indexed
PublisherUnverified
SignatureUnsigned
Domain—
Provenance—
DependenciesNot audited
Tool surface—
Security scan✓ Cleanv0.1.0 · 19d ago
EvalsNone
IndexedJun 13, 2026

Verification confirms publisher identity (repo ownership), not code safety. The security scan covers known CVEs and suspicious install scripts — it cannot prove the absence of malicious code.

About

MCP server exposing Z3 solver API Or from command line: The server exposes the following tools: createboolvar - Create a Boolean variable createintvar - Create an Integer variable createrealvar - Create a Real variable createintconstant - Create an integer constant createrealconstant - Create a real constant addconstraint - Add a constraint to the solver solve - Solve the current problem getmodelvalue - Get value of a variable from the model optimize - Solve with optimization objective…

Keywords
mcp